LeafNachhaltiges 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

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation
Sprache:
Englisch
ISBN:
9783540064916
Verlag:
Springer
Seitenzahl:
504 Seiten
Auflage:
-
Erschienen:
1973-11-14
Dieser Artikel steht derzeit nicht zur Verfügung!

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.
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.
Bestellen bei zvab
Neu bestellen bei lehmanns
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

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
6,82 €
Entdecke mehr zum Thema
Analysis für Informatiker (Aachener Beiträge zur Mathematik)
  • paperback
  • 118 Seiten
  • Erschienen 2005
  • Verlag Günter Mainz
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Analysis für Informatiker (Aachener Beiträge...
Esser, Henning
32,04 €
Details
Introduction to Arakelov Theory
  • hardcover
  • 197 Seiten
  • Erschienen 1988
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Arakelov Theory
Lang, Serge
70,17 €
Details
A Formalization of Set Theory Without Variables (COLLOQUIUM PUBLICATIONS (AMER MATHEMATICAL SOC))
  • paperback
  • 318 Seiten
  • Erschienen 1987
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A Formalization of Set Theory Without Variables...
Tarski, Alfred
51,89 €
Details
Foundations of Set Theory (Volume 67) (Studies in Logic and the Foundations of Mathematics, Volume 67)
  • hardcover
  • 412 Seiten
  • Erschienen 1973
  • North Holland
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Set Theory (Volume 67) (Studies...
Bar-Hillel, Y.
104,72 €
Details
-36%
MODELS PEANO ARITH OLG 15 C (Oxford Logic Guides, Band 15)
  • hardcover
  • 304 Seiten
  • Erschienen 1991
  • Oxford University Press (UK)
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
MODELS PEANO ARITH OLG 15 C (Oxford Logic...
Kaye, Richard
155,63 € 241,53 €
Details
Arithmetic Duality Theorems (Perspectives in Mathematics, Band 1)
  • hardcover
  • 419 Seiten
  • Erschienen 1986
  • Academic Press Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Arithmetic Duality Theorems (Perspectives in...
Milne, J. S.
86,72 €
Details
-26%
An Introduction to the Philosophy of Mathematics (Cambridge Introductions to Philosophy)
  • paperback
  • 200 Seiten
  • Erschienen 2012
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
An Introduction to the Philosophy of...
Colyvan, Mark
27,76 € 37,46 €
Details
-49%
Arithmetic Geometry And Number Theory (Number Theory and Its Applications, 1, Band 1)
  • paperback
  • 412 Seiten
  • Erschienen 2006
  • Wspc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Arithmetic Geometry And Number Theory (Number...
Nakamura, Iku
62,07 € 122,17 €
Details
Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)
  • paperback
  • 320 Seiten
  • Erschienen 1993
  • Prentice-Hall
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Logic for Computer Science...
Ben-Ari, Mordechai
28,65 €
Details
-38%
Logic of Mathematics: A Modern Course of Classical Logic (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
  • hardcover
  • 272 Seiten
  • Erschienen 1997
  • Wiley-Interscience
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logic of Mathematics: A Modern Course of...
Adamowicz, Zofia
100,63 € 163,36 €
Details
An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy)
  • paperback
  • 404 Seiten
  • Erschienen 2013
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
An Introduction to Godel's Theorems (Cambridge...
Smith, Peter
61,09 €
Details
-31%
The Queen of Mathematics: An Introduction to Number Theory (Texts in the Mathematical Sciences, 8, Band 8)
  • hardcover
  • 400 Seiten
  • Erschienen 1995
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Queen of Mathematics: An Introduction to...
Anglin, W.S.
127,19 € 183,87 €
Details
Approximation by Algebraic Numbers (Cambridge Tracts in Mathematics)
  • hardcover
  • 292 Seiten
  • Erschienen 2004
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Approximation by Algebraic Numbers (Cambridge...
Yann Bugeaud
134,16 €
Details
Number Theory Arising from Finite Fields: Analytic and Probabilistic Theory (LECTURE NOTES IN PURE AND APPLIED MATHEMATICS)
  • hardcover
  • 404 Seiten
  • Erschienen 2001
  • CRC Press Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Number Theory Arising from Finite Fields:...
Knopfmacher, John
176,79 €
Details
-29%
1670–1673. Infinitesimalmathematik (Sämtliche Schriften und Briefe)
  • hardcover
  • 905 Seiten
  • Erschienen 2008
  • De Gruyter Akademie Forschung
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
1670–1673. Infinitesimalmathematik (Sämtliche...
Knobloch, Eberhard
248,19 € 349,88 €
Details
Analysis (Texts and Readings in Mathematics, Band 37)
  • hardcover
  • 347 Seiten
  • Erschienen 2009
  • HINDUSTAN BOOK & INDIAN NATL S
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Analysis (Texts and Readings in Mathematics,...
Tao, Terence
38,24 €
Details
-28%
The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited
  • hardcover
  • 228 Seiten
  • Erschienen 2009
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Autonomy of Mathematical Knowledge:...
Franks, Curtis
63,51 € 88,65 €
Details
-18%
Philosophy of Mathematics: An Introduction
  • paperback
  • 343 Seiten
  • Erschienen 2009
  • Wiley-Blackwell
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Philosophy of Mathematics: An Introduction
Bostock, David
29,57 € 35,90 €
Details
-45%
Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik
  • Taschenbuch
  • 446 Seiten
  • Erschienen 2020
  • Springer Spektrum
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Grenzen der Mathematik: Eine Reise durch die...
W. Hoffmann, Dirk:
16,53 € 29,99 €
Details
-76%
Frege's Theorem
  • hardcover
  • 322 Seiten
  • Erschienen 2011
  • OUP Oxford
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Frege's Theorem
Heck, Richard G.
24,82 € 103,90 €
Details
-33%
Einführung in die Algebra (Teubner Studienbücher Mathematik)
  • Hardcover
  • 244 Seiten
  • Erschienen 1983
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Einführung in die Algebra (Teubner...
Sacher, Reinhard
37,00 € 54,99 €
Details
-36%
Mathematische Logik mit Informatik-Anwendungen (Heidelberger Taschenbücher) (German Edition) (Heidelberger Taschenbücher, 187, Band 187)
  • paperback
  • 348 Seiten
  • Erschienen 1977
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematische Logik mit Informatik-Anwendungen...
Bergmann, E.
32,20 € 49,95 €
Details
Non-Archimedean Analysis: A Systematic Approach to Rigid Analytic Geometry (Grundlehren der mathematischen Wissenschaften, 261, Band 261)
  • hardcover
  • 448 Seiten
  • Erschienen 1984
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Non-Archimedean Analysis: A Systematic Approach...
Güntzer, U.
121,11 €
Details
Automation of Reasoning: Classical Papers on Computational Logic 1957–1966 (Symbolic Computation, Band 1)
  • hardcover
  • 540 Seiten
  • Erschienen 1983
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Automation of Reasoning: Classical Papers on...
Siekmann, J.
55,01 €
Details
Contributions to the Founding of the Theory of Transfinite Numbers (Dover Books on Mathematics)
  • paperback
  • 224 Seiten
  • Erschienen 1955
  • Dover Publications Inc.
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Contributions to the Founding of the Theory of...
Cantor, Georg
10,73 €
Details
-18%
Polyadic Transcendental Number Theory
  • hardcover
  • 216 Seiten
  • Erschienen 2024
  • WSPC (EUROPE)
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Polyadic Transcendental Number Theory
Chirskii, Vladimir G
69,09 € 84,74 €
Details
-68%
Arithmeticity in the Theory of Automorphic Forms (Mathematical Surveys & Monographs)
  • paperback
  • 302 Seiten
  • Erschienen 2000
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Arithmeticity in the Theory of Automorphic...
Shimura, Goro
26,18 € 81,32 €
Details
-14%
Georg Cantor: His Mathematics and Philosophy of the Infinite
  • paperback
  • 420 Seiten
  • Erschienen 1990
  • Princeton University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Georg Cantor: His Mathematics and Philosophy of...
Dauben, Joseph Warren
74,93 € 87,00 €
Details
-26%
Function field arithmetic
  • paperback
  • 406 Seiten
  • Erschienen 2004
  • Wspc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Function field arithmetic
Thakur, Dinesh S
134,96 € 182,05 €
Details
Philosophie Der Arithmetik; Psychologische Und Logische Untersuchungen 1. Band
  • paperback
  • 104 Seiten
  • Erschienen 2012
  • General Books LLC
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Philosophie Der Arithmetik; Psychologische Und...
Husserl, Edmund
42,44 €
Details
-44%
The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel
  • paperback
  • 708 Seiten
  • Erschienen 2000
  • Princeton University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Search for Mathematical Roots, 1870-1940:...
Grattan-Guinness, I.
90,08 € 160,00 €
Details
-40%
Number Theory: Proceedings of the 4th Matscience Conference held at Otacamund, India, January 5-10, 1984 (Lecture Notes in Mathematics, 1122, Band 1122)
  • paperback
  • 224 Seiten
  • Erschienen 2008
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Number Theory: Proceedings of the 4th...
Alladi, Krishnaswami
23,84 € 40,02 €
Details
-35%
Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik
  • Kartoniert
  • 441 Seiten
  • Erschienen 2018
  • Springer Spektrum
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Grenzen der Mathematik: Eine Reise durch die...
Hoffmann, Dirk W.
25,82 € 39,99 €
Details
-56%
Einleitung in die Analysis des Unendlichen: Erster Teil
  • paperback
  • 356 Seiten
  • Erschienen 2014
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Einleitung in die Analysis des Unendlichen:...
Maser, H.
26,63 € 59,99 €
Details
Closure Spaces and Logic (Mathematics and Its Applications, 369, Band 369)
  • hardcover
  • 248 Seiten
  • Erschienen 1996
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Closure Spaces and Logic (Mathematics and Its...
Martin, N.M.
55,21 €
Details
Advanced Studies in Pure Mathematics Investigations in Number Theory
  • hardcover
  • 620 Seiten
  • Erschienen 1988
  • Academic Press Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Advanced Studies in Pure Mathematics...
Kubota, Tomio
95,57 €
Details
Advances in Logic: The North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas (Contemporary Mathematics, 425, Band 425)
  • paperback
  • 150 Seiten
  • Erschienen 2007
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Advances in Logic: The North Texas Logic...
Jackson, Steve
93,89 €
Details
-42%
Fundamentals of Set and Number Theory (De Gruyter Studies in Mathematics, 68/1)
  • Gebunden
  • 428 Seiten
  • Erschienen 2018
  • De Gruyter
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Fundamentals of Set and Number Theory (De...
Rodionov, Timofey V. und Za...
101,62 € 174,95 €
Details
-41%
Intgrl Closure Ideals Rings Modules (London Mathematical Society Lecture Note Series, 336, Band 336)
  • paperback
  • 448 Seiten
  • Erschienen 2008
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Intgrl Closure Ideals Rings Modules (London...
Swanson, Irena
58,88 € 100,37 €
Details
-5%
Understanding Analysis (Undergraduate Texts in Mathematics)
  • Gebunden
  • 324 Seiten
  • Erschienen 2016
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Understanding Analysis (Undergraduate Texts in...
Abbott, Stephen
40,86 € 42,79 €
Details