passa ai contenuti
Formally self-referential propositions for cut free classical analysis and related system Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

Formally self-referential propositions for cut free classical analysis and related system

Autore: G Kreisel; G Takeuti
Editore: Warzawa Państwowe Wydawnistwo Naukowe 1974
Serie: Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
Edizione/Formato:   Libro : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

 

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Tipo documento: Book
Tutti gli autori / Collaboratori: G Kreisel; G Takeuti
Numero OCLC: 246216180
Descrizione: 55 S
Titolo della serie: Dissertationes mathematicae, 118; Dissertationes mathematicae, 118
Responsabilità: G. Kreisel; G. Takeuti

Commenti

Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.