Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

On Constructive Interpretation of Predictive Mathematics (1990)

Name: On Constructive Interpretation of Predictive Mathematics (1990)
Brand: Taylor & Francis Ltd
SKU: 13484679
Price: 173.69 EUR
Availability: InStock
Author: Charles Parsons
ISBN: 9781138226524

Charles Parsons

Lingua

Inglese

Libro Rigido

Codice Libristo: 13484679

Casa editrice Taylor & Francis Ltd, agosto 2016

First published in 1990, this book consists of a detailed exposition of results of the theory of "in... Descrizione completa

Codice Libristo: 13484679

425 b

173.69 €

50% di possibilità Cercheremo nel mondo Quando riceverò il libro?

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

PETIT ELOGE DE LA BICYCLETTE ERIC FOTTORINO

In brossura

4.39 €

La classe de la sorcière Didier Dufresne

Libro

7.39 €

La Bibliotheque Des Predicateurs. Tome 2 Vincent Houdry

In brossura

38.69 €

Die Therapie An Den Bonner Universitatskliniken (1913) Rudolf Finkelnburg

In brossura

39.49 €

Kocakurt Ahmet Say

In brossura

10.79 €

Varíme zo záhradky

Rigido

5.49 €

Pascal Brutal Sattouf

In brossura

13.69 €

Capesius, el farmacéutico de Auschwitz Dieter Schlesak

In brossura

18.79 €

Maladies de la Moelle Epiniere, Leur Traitement, (Ed.1860) Philippe-Charles Pinel

In brossura

16.99 €

Polyparasitisme Gastro-Intestinal Des Ruminants Yaba L. Achi

In brossura

51.19 €

Plechové citáty, mindráky a lidská práva Mircea Dan Duta

In brossura

5.09 €

First published in 1990, this book consists of a detailed exposition of results of the theory of "interpretation" developed by G. Kreisel — the relative impenetrability of which gives the elucidation contained here great value for anyone seeking to understand his work. It contains more complex versions of the information obtained by Kreisel for number theory and clustering around the no-counter-example interpretation, for number-theorectic forumulae provide in ramified analysis. It also proves the omega-consistency of ramified analysis. The author also presents proofs of Schütte’s cut-elimination theorems which are based on his consistency proofs and essentially contain them — these went further than any published work up to that point, helping to squeeze the maximum amount of information from these proofs.