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

22,16 €

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

22,16 €

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
22,16 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-68%
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
13,63 € 42,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
-67%
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
12,84 € 39,30 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
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
3,84 € 26,74 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
Proof Theory
  • Hardcover
  • 228 Seiten
  • Erschienen 1989
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory
Pohlers, Wolfram
23,41 € 80,24 €
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
30,17 €
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,14 €
Details
frontend/listing/product-box/box-product-slider.tpl
-56%
Model Theoretic Algebra
  • Hardcover
  • 240 Seiten
  • Erschienen 1976
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Model Theoretic Algebra
Cherlin, G.
23,72 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-61%
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
54,97 € 141,78 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
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
17,11 € 242,50 €
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.
-
7,93 €
Details
frontend/listing/product-box/box-product-slider.tpl
-67%
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
4,90 € 15,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-60%
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.
33,96 € 85,59 €
Details
frontend/listing/product-box/box-product-slider.tpl
-68%
Notes on Set Theory
  • Taschenbuch
  • 292 Seiten
  • Erschienen 2019
  • Springer New York
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Notes on Set Theory
-
22,16 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
Einführung in die mathematische Logik (Raabe,samtliche Werke, Band 5)
  • Kartoniert
  • 285 Seiten
  • Erschienen 1977
  • Vandenhoeck & Ruprecht
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Einführung in die mathematische Logik...
Tarski, Alfred
3,91 € 35,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Die reellen Zahlen als Fundament und Baustein der Analysis
  • Gebunden
  • 196 Seiten
  • Erschienen 1999
  • De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Die reellen Zahlen als Fundament und Baustein...
Schmersau, Dieter und Koepf...
1,83 € 109,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
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
6,95 € 49,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-58%
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
82,10 € 194,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
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
14,98 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-30%
Mathematics and Metaphilosophy (Cambridge Elements: Elements in the Philosophy of Mathematics)
  • paperback
  • 66 Seiten
  • Erschienen 2022
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematics and Metaphilosophy (Cambridge...
Clarke-Doane, Justin
14,85 € 21,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-33%
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
74,17 € 111,28 €
Details
frontend/listing/product-box/box-product-slider.tpl
-79%
An Introduction to the Geometry of Numbers (Classics in Mathematics)
  • Kartoniert
  • 360 Seiten
  • Erschienen 1996
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
An Introduction to the Geometry of Numbers...
Cassels, J. W. S.
13,35 € 62,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-67%
Foundations of Mathematics I
  • Hardcover
  • 238 Seiten
  • Erschienen 2011
  • College Publications
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Mathematics I
-
9,18 € 28,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
Einführung in die Zahlentheorie (Sammlung Göschen, 5131, Band 5131)
  • hardcover
  • 128 Seiten
  • Erschienen 1973
  • De Gruyter
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Einführung in die Zahlentheorie (Sammlung...
Scholz, Arnold
25,92 € 109,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
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
4,66 € 32,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-46%
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
20,97 € 38,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
A Pythagorean Introduction to Number Theory
  • Gebunden
  • 279 Seiten
  • Erschienen 2019
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A Pythagorean Introduction to Number Theory
Takloo-Bighash, Ramin
12,86 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-43%
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
61,21 € 106,99 €
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.
19,69 €
Details
frontend/listing/product-box/box-product-slider.tpl
-67%
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...
21,49 € 65,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
-68%
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
20,29 € 64,15 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
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.
6,35 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-61%
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
27,15 € 70,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
Über unendliche, lineare Punktmannigfaltigkeiten
  • Hardcover
  • 184 Seiten
  • Erschienen 1985
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Über unendliche, lineare Punktmannigfaltigkeiten
Cantor, G.;
8,49 € 49,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-46%
Metamathematik der Elementarmathematik (Hochschultext)
  • paperback
  • 132 Seiten
  • Erschienen 1983
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Metamathematik der Elementarmathematik...
Engeler, Erwin
29,81 € 54,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
Classical Recursion Theory, Volume II
  • Hardcover
  • 949 Seiten
  • Erschienen 1999
  • North Holland
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Classical Recursion Theory, Volume II
Odifreddi, P.
55,27 € 187,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-70%
Analysis I (Grundstudium Mathematik) (German Edition)
  • Hardcover
  • 464 Seiten
  • Erschienen 2006
  • Birkhäuser
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Analysis I (Grundstudium Mathematik) (German...
Escher, Joachim;Amann, Herb...
19,23 € 64,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
Mathematical Logic for Computer Science: 2nd edition
  • paperback
  • 320 Seiten
  • Erschienen 2003
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Logic for Computer Science: 2nd...
Ben-Ari, Mordechai
22,53 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
Introduction to combinatory logic (London Mathematical Society Lecture Note Series, Band 7)
  • paperback
  • 170 Seiten
  • Erschienen 1972
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to combinatory logic (London...
Seldin, J. P.
34,70 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Boole's Logic and Probability: Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory: A Critical Exposition ... IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
  • hardcover
  • 427 Seiten
  • Erschienen 1986
  • North-Holland
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Boole's Logic and Probability: Critical...
Hailperin, Theodore
23,48 € 296,39 €
Details