LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Springer
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Troelstra, Anne S.

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

27,22 €

Lieferzeit 1-3 Werktage

Kurzinformation
Sprache:
Englisch
ISBN:
9783540064916
Verlag:
Springer
Seitenzahl:
504 Seiten
Auflage:
-
Erschienen:
1973-11-14
Mit diesem Kauf sparst Du 2,06 kg CO2

Mehr Informationen zum Zustand Green Tree

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
  • Starke Gebrauchsspuren, Seiten und Bindung beschädigt
  • Knicke oder Markierungen nicht mehr als 20%
  • CDs und Zugangscodes können fehlen
  • Auflage kann abweichen
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Neu bei lehmanns bestellen
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

27,22 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

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. von Troelstra, Anne S.

Produktdetails

Einband:
Hardcover
Seitenzahl:
504 Seiten
Erschienen:
1973-11-14
Sprache:
Englisch
EAN:
9783540064916
ISBN:
9783540064916
Verlag:
Springer
Gewicht:
756 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Troelstra, Anne S.

Entdecke mehr vom Verlag

Springer
Akzeptabel
27,22 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
Notes on Set Theory
  • Hardcover
  • 292 Seiten
  • Erschienen 2005
  • Springer New York
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Notes on Set Theory
Moschovakis, Yiannis
27,22 €
Details
frontend/listing/product-box/box-product-slider.tpl
-67%
An Introduction to the Geometry of Numbers (Classics in Mathematics)
  • paperback
  • 360 Seiten
  • Erschienen 2013
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
An Introduction to the Geometry of Numbers...
Cassels, J.W.S.
19,16 € 58,84 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Die reellen Zahlen als Fundament und Baustein der Analysis
  • Hardcover
  • 196 Seiten
  • Erschienen 1999
  • De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Die reellen Zahlen als Fundament und Baustein...
Koepf, Wolfram;Schmersau, D...
2,24 € 109,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
Einführung in die mathematische Logik (Raabe,samtliche Werke, Band 5)
  • paperback
  • 285 Seiten
  • Erschienen 1977
  • Vandenhoeck & Ruprecht
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Einführung in die mathematische Logik...
Tarski, Alfred
4,80 € 30,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-66%
A Pythagorean Introduction to Number Theory
  • Hardcover
  • 300 Seiten
  • Erschienen 2018
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A Pythagorean Introduction to Number Theory
Takloo-Bighash, Ramin
18,02 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-62%
Foundations of Analysis
  • Taschenbuch
  • 448 Seiten
  • Erschienen 2008
  • Dover Publications Inc.
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Analysis
Belding, David F;Mitchell, ...
9,62 € 25,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-57%
A Classical Introduction to Modern Number Theory
  • Hardcover
  • 394 Seiten
  • Erschienen 1990
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A Classical Introduction to Modern Number Theory
Ireland, Kenneth;Rosen, Mic...
32,88 € 77,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-66%
Die Analysis im Wandel und im Widerstreit
  • Hardcover
    • -
  • Erschienen 2015
  • Verlag Karl Alber
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Die Analysis im Wandel und im Widerstreit
Spalt, Detlef D.
13,67 € 39,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
Einführung in die analytische Zahlentheorie
  • Hardcover
  • 252 Seiten
  • Erschienen 1995
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Einführung in die analytische Zahlentheorie
Brüdern, Jörg
20,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
Qualitative Spatial and Temporal Reasoning
  • Hardcover
  • 544 Seiten
  • Erschienen 2011
  • Wiley-ISTE
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Qualitative Spatial and Temporal Reasoning
Ligozat, Gérard
21,02 €
Details
frontend/listing/product-box/box-product-slider.tpl
Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen. Eine Einführung (XLeitfäden der Informatik) (German Edition)
  • paperback
  • 336 Seiten
  • Erschienen 2011
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematische Grundlagen der Informatik:...
Meinel, Christoph
5,72 €
Details
frontend/listing/product-box/box-product-slider.tpl
Conjectures in Arithmetic Algebraic Geometry: A Survey (Aspects of Mathematics) (German Edition) (Aspects of Mathematics, 18, Band 18)
  • paperback
  • 252 Seiten
  • Erschienen 2012
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Conjectures in Arithmetic Algebraic Geometry: A...
Hulsbergen, Wilfred W. J.
7,83 €
Details
frontend/listing/product-box/box-product-slider.tpl
Vom Mythos der Mathematischen Vernunft: Eine Archäologie zum Grundlagenstreit der Analysis oder Dokumentation einer vergeblichen Suche nach der Einheit der Mathematischen Vernunft
  • paperback
  • 411 Seiten
  • Wissenschaftliche Buchgesel...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Vom Mythos der Mathematischen Vernunft: Eine...
Spalt, Detlef D
2,63 €
Details
frontend/listing/product-box/box-product-slider.tpl
Cantorian Set Theory and Limitation of Size
  • Taschenbuch
  • 368 Seiten
  • Erschienen 1987
  • Oxford University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Cantorian Set Theory and Limitation of Size
Hallett, Michael
29,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
The Theory of Classical Valuations
  • Hardcover
  • 420 Seiten
  • Erschienen 1999
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Theory of Classical Valuations
Ribenboim, Paulo
18,39 €
Details
frontend/listing/product-box/box-product-slider.tpl
Integrationstheorie
  • Hardcover
  • 148 Seiten
  • Erschienen 1987
  • Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Integrationstheorie
-
6,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
History of the Theory of Numbers: Volume II; Diophantine Analysis
  • paperback
  • 832 Seiten
  • Erschienen 2005
  • Dover Publications Inc.
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
History of the Theory of Numbers: Volume II;...
Dickson, Leonard Eugene
25,76 €
Details
frontend/listing/product-box/box-product-slider.tpl
Was ist logische Analyse?
  • Taschenbuch
  • 219 Seiten
  • Erschienen 2008
  • eva
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Was ist logische Analyse?
Waismann, Friedrich;
4,25 €
Details
frontend/listing/product-box/box-product-slider.tpl
Conjectures in Arithmetic Algebraic Geometry: A Survey (Aspects of Mathematics, 18)
  • hardcover
  • 253 Seiten
  • Erschienen 1994
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Conjectures in Arithmetic Algebraic Geometry: A...
Hulsbergen, Wilfred W. J.
41,71 €
Details
frontend/listing/product-box/box-product-slider.tpl
Naive Set Theory (Undergraduate Texts in Mathematics)
  • hardcover
  • 104 Seiten
  • Springer Berlin
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Naive Set Theory (Undergraduate Texts in...
Halmos, Paul R.
24,18 €
Details
frontend/listing/product-box/box-product-slider.tpl
Introduction to Mathematical Logic (University Series in Undergraduate Mathematics)
  • textbook
  • 300 Seiten
  • Erschienen 1964
  • Van Nostrand Reinhold
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Mathematical Logic (University...
Mendelson, Elliott
37,06 €
Details
frontend/listing/product-box/box-product-slider.tpl
The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal (De Gruyter Series in Logic and Its Applications, 1, Band 1)
  • hardcover
  • 940 Seiten
  • Erschienen 1999
  • De Gruyter
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Axiom of Determinacy, Forcing Axioms, and...
Woodin, W. Hugh
100,83 €
Details
frontend/listing/product-box/box-product-slider.tpl
Proof Theory and Intuitionistic Systems
  • Hardcover
  • 300 Seiten
  • Erschienen 1971
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory and Intuitionistic Systems
Scarpellini, Bruno
16,74 €
Details
frontend/listing/product-box/box-product-slider.tpl
Proof Theory
  • Hardcover
  • 228 Seiten
  • Erschienen 1989
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory
Pohlers, Wolfram
28,76 €
Details
frontend/listing/product-box/box-product-slider.tpl
Basic Proof Theory
  • Hardcover
  • 432 Seiten
  • Erschienen 2002
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Basic Proof Theory
Troelstra, Anne S.;Troelstr...
26,40 €
Details
frontend/listing/product-box/box-product-slider.tpl
Extensional Gödel Functional Interpretation
  • Hardcover
  • 172 Seiten
  • Erschienen 1973
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Extensional Gödel Functional Interpretation
Luckhardt, Horst
4,72 €
Details
frontend/listing/product-box/box-product-slider.tpl
The Principles of Mathematics Revisited
  • Hardcover
  • 304 Seiten
  • Erschienen 2003
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Principles of Mathematics Revisited
Hintikka, Jaakko
15,77 €
Details
frontend/listing/product-box/box-product-slider.tpl
Foundations of Mathematics I
  • Hardcover
  • 238 Seiten
  • Erschienen 2011
  • College Publications
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Mathematics I
-
11,27 €
Details
frontend/listing/product-box/box-product-slider.tpl
Computability in Analysis and Physics (Perspectives in Mathematical Logic)
  • paperback
  • 206 Seiten
  • Erschienen 1989
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computability in Analysis and Physics...
Jonathan Ian Richards
91,09 €
Details
frontend/listing/product-box/box-product-slider.tpl
Models of Peano Arithmetic (Oxford Logic Guides, Band 15)
  • hardcover
  • 304 Seiten
  • Erschienen 1991
  • Clarendon Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Models of Peano Arithmetic (Oxford Logic...
Kaye, Richard
67,51 €
Details
frontend/listing/product-box/box-product-slider.tpl
Axiomatic set theory.
  • unknown_binding
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Axiomatic set theory.
-
9,73 €
Details
frontend/listing/product-box/box-product-slider.tpl
Elementary Induction on Abstract Structures
  • Taschenbuch
  • 242 Seiten
  • Erschienen 2008
  • Dover Pubn Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Elementary Induction on Abstract Structures
Moschovakis, Yiannis N
6,02 €
Details
frontend/listing/product-box/box-product-slider.tpl
Proof and Knowledge in Mathematics
  • paperback
  • 268 Seiten
  • Erschienen 2014
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof and Knowledge in Mathematics
Detlefsen, Michael
33,34 €
Details
frontend/listing/product-box/box-product-slider.tpl
Analysis mit dem Computer
  • Hardcover
  • 244 Seiten
  • Erschienen 1985
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Analysis mit dem Computer
Otto, Alexandra
8,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
Analysis 1
  • paperback
  • 398 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Analysis 1
Walter, Wolfgang
5,92 €
Details
frontend/listing/product-box/box-product-slider.tpl
Metamathematik der Elementarmathematik (Hochschultext)
  • paperback
  • 132 Seiten
  • Erschienen 1983
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Metamathematik der Elementarmathematik...
Engeler, Erwin
45,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
Mathematical Logic (Undergraduate Texts in Mathematics)
  • hardcover
  • 301 Seiten
  • Erschienen 1994
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Logic (Undergraduate Texts in...
Thomas, Wolfgang
26,18 €
Details
frontend/listing/product-box/box-product-slider.tpl
Model Theoretic Algebra
  • Hardcover
  • 240 Seiten
  • Erschienen 1976
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Model Theoretic Algebra
Cherlin, G.
37,88 €
Details
frontend/listing/product-box/box-product-slider.tpl
Nonstandard Analysis, Axiomatically (Springer Monographs in Mathematics)
  • paperback
  • 428 Seiten
  • Erschienen 2010
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Nonstandard Analysis, Axiomatically (Springer...
Reeken, Michael
100,42 €
Details