Articoli correlati a Metamathematical Investigation of Intuitionistic Arithmetic...

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis - Brossura

 
9783662210352: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Brossura
ISBN 10: 3662210355 ISBN 13: 9783662210352
Casa editrice: Springer, 2014

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Intuitionistic formal systems.- Models and computability.- Realizability and functional interpretations.- Normalization theorems for systems of natural deduction.- Applications of Kripke models.- Iterated inductive definitions, trees and ordinals.- Erratum.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2014
Lingua
Inglese
ISBN 10 
3662210355
ISBN 13 
9783662210352
Rilegatura
Paperback
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783540064916: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis: 344

Edizione in evidenza

ISBN 10:  3540064915 ISBN 13:  9783540064916
Casa editrice: Springer, 2009
Brossura