Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktGeschenkefinderGutscheineFirmenkundschaftFilialen
0
Erweiterte Suche
☄️Nicht verpassen: 15% auf alle Spiele
Jetzt profitieren

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Beschreibung

Inhalt 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.- Erra...

Format auswählen

E-Book (pdf)
CHF77.90
Kartonierter Einband
CHF77.60
CHF77.90
Download steht sofort bereit 
Kein Rückgaberecht 
15% Rabatt auf alle Spiele

Wird oft zusammen gekauft

Andere Kunden kauften auch

Beschreibung

Inhalt

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.

Produktinformationen

Titel:
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Editor:
Anne S. Troelstra
EAN:
9783540378068
Format:
E-Book (pdf)
Hersteller:
Springer Berlin Heidelberg
Digitaler Kopierschutz:
Wasserzeichen
Dateigrösse:
135.48 MB
Anzahl Seiten:
488

Mehr entdecken: E-Books Englisch

Belletristik & Unterhaltung, Diverses, Geisteswissenschaften, Kunst, Musik, IT & Internet, Naturwissenschaften, Medizin, Informatik, Technik, Ratgeber, Reise, Sachbuch, Schule und Lernen, Sozialwissenschaften, Recht, Wirtschaft