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

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
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
4,32 €
Details
frontend/listing/product-box/box-product-slider.tpl
-99%
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
2,45 € 242,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
Diamonds and Defaults: Studies in Pure and Applied Intensional Logic (Synthese Library, 229, Band 229)
  • hardcover
  • 397 Seiten
  • Erschienen 1993
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Diamonds and Defaults: Studies in Pure and...
de Rijke, Maarten
43,46 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-60%
Grundzüge der modernen Analysis, Bd.4 (Logik und Grundlagen der Mathematik)
  • Hardcover
  • 443 Seiten
  • Erschienen 1977
  • Vieweg Verlagsgesellschaft
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Grundzüge der modernen Analysis, Bd.4 (Logik...
Dieudonne, Jean
20,06 € 49,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-53%
Undergraduate Analysis (Undergraduate Texts in Mathematics)
  • paperback
  • 660 Seiten
  • Erschienen 2010
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Undergraduate Analysis (Undergraduate Texts in...
Lang, Serge
32,95 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
Logische Untersuchungen
  • paperback
  • 146 Seiten
  • Erschienen 1993
  • Vandenhoeck & Ruprecht
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logische Untersuchungen
Gottlob Frege
6,67 €
Details
frontend/listing/product-box/box-product-slider.tpl
-50%
Making Transcendence Transparent: An intuitive approach to classical transcendental number theory
  • paperback
  • 276 Seiten
  • Erschienen 2011
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Making Transcendence Transparent: An intuitive...
Tubbs, Robert
31,88 € 64,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems
  • paperback
  • 342 Seiten
  • Erschienen 2008
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
An Introduction to Many-Valued and Fuzzy Logic:...
Bergmann, Merrie
10,43 € 63,01 €
Details
frontend/listing/product-box/box-product-slider.tpl
-50%
An Introduction To The Theory Of Numbers
  • Kartoniert
  • 480 Seiten
  • Erschienen 2008
  • Oxford University Press, U....
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
An Introduction To The Theory Of Numbers
Hardy, Godfrey H. und Wrigh...
35,15 € 69,62 €
Details
frontend/listing/product-box/box-product-slider.tpl
Die vollständige Induktion
  • perfect
  • 183 Seiten
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Die vollständige Induktion
-
18,62 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Axiomatische Wahrheitstheorien (Logica Nova)
  • Gebunden
  • 260 Seiten
  • Erschienen 1996
  • De Gruyter Akademie Forschung
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Axiomatische Wahrheitstheorien (Logica Nova)
Halbach, Volker
9,28 € 109,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
Pure and applied mathematics, vol.10-I: Foundations of Modern Analysis
  • paperback
  • 361 Seiten
  • Erschienen 1969
  • Academic Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Pure and applied mathematics, vol.10-I:...
Jean Dieudonné
67,32 €
Details
frontend/listing/product-box/box-product-slider.tpl
-30%
Metamathematische Methoden in der Geometrie: Part I: An axiomatic structure of Euclidean geometry Part II: Metamathematical Views (university text)
  • paperback
  • 508 Seiten
  • Erschienen 2011
  • Ishi Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Metamathematische Methoden in der Geometrie:...
Beeson, Michael
25,56 € 36,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
Mathematical Induction: A Powerful and Elegant Method of Proof (Xyz, Band 25)
  • hardcover
  • 428 Seiten
  • Erschienen 2017
  • XYZ Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Induction: A Powerful and Elegant...
Crisan, Vlad
85,06 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
Der Gödelsche Beweis
  • paperback
    • -
  • Erschienen 2003
  • De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Der Gödelsche Beweis
Newman, James R.
23,79 € 99,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-46%
Introduction to Number Theory (Art of Problem Solving Introduction)
  • paperback
  • 314 Seiten
  • Erschienen 2008
  • Aops Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Number Theory (Art of Problem...
Crawford, Mathew
24,30 € 44,94 €
Details
frontend/listing/product-box/box-product-slider.tpl
-35%
The Arithmetic of Infinitesimals: John Wallis 1656 (Sources and Studies in the History of Mathematics and Physical Sciences)
  • hardcover
  • 226 Seiten
  • Erschienen 2004
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Arithmetic of Infinitesimals: John Wallis...
Stedall, Jacqueline A.
89,67 € 138,98 €
Details
frontend/listing/product-box/box-product-slider.tpl
Einführung in die höhere Mathematik 1
  • paperback
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Einführung in die höhere Mathematik 1
unbekannt
12,13 €
Details
frontend/listing/product-box/box-product-slider.tpl
-56%
Measure Theory (Graduate Texts in Mathematics)
  • Hardcover
  • 324 Seiten
  • Erschienen 1974
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Measure Theory (Graduate Texts in Mathematics)
Halmos, Paul R.
27,95 € 64,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
-42%
3000 Jahre Analysis: Geschichte, Kulturen, Menschen (Vom Zählstein zum Computer)
  • hardcover
  • 733 Seiten
  • Erschienen 2011
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
3000 Jahre Analysis: Geschichte, Kulturen,...
Sonar, Thomas
26,05 € 44,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-51%
Introduction to Mathematical Structures and Proofs (Undergraduate Texts in Mathematics)
  • paperback
  • 416 Seiten
  • Erschienen 2016
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Mathematical Structures and...
Gerstein, Larry J.
26,22 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Mathematical Theory of Computation (McGraw-Hill Computer Science Series)
  • hardcover
  • 448 Seiten
  • Erschienen 1974
  • McGraw-Hill Inc.,US
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Theory of Computation (McGraw-Hill...
Manna, Zohar
1,94 € 110,58 €
Details
frontend/listing/product-box/box-product-slider.tpl
Grundlagen der Mathematik. Eine Einführung in die mathematischen Methoden
  • perfect
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Grundlagen der Mathematik. Eine Einführung in...
-
10,05 €
Details
frontend/listing/product-box/box-product-slider.tpl
-55%
Hypatia II: Philosophie: Kriterien zur Wahrheitsfindung. Schwerpunkt: analytische Geometrie als philosophischer Beweis
  • paperback
  • 200 Seiten
  • Maeger, A
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Hypatia II: Philosophie: Kriterien zur...
Maeger, Annemarie
6,01 € 13,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-69%
Classical and Nonclassical Logics: An Introduction to the Mathematics of Propositions
  • hardcover
  • 518 Seiten
  • Erschienen 2005
  • Princeton University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Classical and Nonclassical Logics: An...
Schechter, Eric
37,35 € 118,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
Introduction to Number Theory Solutions Manual
  • paperback
    • -
  • Erschienen 2008
  • AoPS Incorporated
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Number Theory Solutions Manual
Matthew Crawford
47,82 €
Details
frontend/listing/product-box/box-product-slider.tpl
-79%
Elementary Analysis: The Theory of Calculus (Undergraduate Texts in Mathematics)
  • paperback
  • 424 Seiten
  • Erschienen 2015
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Elementary Analysis: The Theory of Calculus...
Ross, Kenneth A. A.
9,92 € 48,14 €
Details
frontend/listing/product-box/box-product-slider.tpl
Über die Analysis des Unendlichen /Abhandlung über die Quadratur der Kurven
  • paperback
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Über die Analysis des Unendlichen /Abhandlung...
-
59,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-43%
Mathematics of the 19th Century, Mathematical Logic, Algebra, Number Theory, Probability Theory
  • hardcover
  • 322 Seiten
  • Erschienen 1992
  • Birkhäuser Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematics of the 19th Century, Mathematical...
YUSHKEVICH
36,24 € 64,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-52%
Amazing and Aesthetic Aspects of Analysis (Undergraduate Texts in Mathematics)
  • Gebunden
  • 722 Seiten
  • Erschienen 2018
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Amazing and Aesthetic Aspects of Analysis...
Loya, Paul
40,84 € 85,59 €
Details
frontend/listing/product-box/box-product-slider.tpl
Introduction to Languages and the Theory Ofcomputation
  • paperback
  • 512 Seiten
  • Erschienen 2000
  • McGraw-Hill Education (ISE ...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Languages and the Theory...
Martin, John C.
165,66 €
Details
frontend/listing/product-box/box-product-slider.tpl
-63%
Mathematical Logic
  • Kartoniert
  • 344 Seiten
  • Erschienen 2001
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Logic
Shoenfield, Joseph R.
22,30 € 59,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-53%
Geschichte Der Analysis (Denkmaltopographie Bundesrepublik Deutschland) (German Edition)
  • Kartoniert
  • 580 Seiten
  • Erschienen 1999
  • Spektrum Akademischer Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Geschichte Der Analysis (Denkmaltopographie...
Jahnke, Hans Niels
21,13 € 44,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-65%
Grundbegriffe der Analysis: Genese und Beispiele aus didaktischer Sicht
  • paperback
  • 344 Seiten
  • Erschienen 1995
  • Spektrum Akademischer Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Grundbegriffe der Analysis: Genese und...
Scheid, Harald
8,74 € 24,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
Model Theory (Studies in Logic and Foundations of Mathematics Ser. : Vol 73)
  • paperback
  • 566 Seiten
  • Erschienen 1977
  • North-Holland
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Model Theory (Studies in Logic and Foundations...
Keisler, H. Jerome
5,63 € 38,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
Frege Le Necessaire Et Le Superflu (Mathesis)
  • paperback
  • 224 Seiten
  • Erschienen 2002
  • VRIN
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Frege Le Necessaire Et Le Superflu (Mathesis)
Benmakhlouf, Ali
45,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-41%
Analysis
  • Kartoniert
  • 556 Seiten
  • Erschienen 2021
  • Springer Spektrum
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Analysis
Deitmar, Anton
32,60 € 54,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-57%
Combinatory Logic
  • Hardcover
  • 358 Seiten
  • Erschienen 2011
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Combinatory Logic
Bimbó, Katalin
78,58 € 184,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-70%
Kripke’s Worlds: An Introduction to Modal Logics via Tableaux (Studies in Universal Logic)
  • Kartoniert
  • 216 Seiten
  • Erschienen 2013
  • Birkhäuser
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Kripke’s Worlds: An Introduction to Modal...
Gasquet, Olivier und Schwar...
27,04 € 90,94 €
Details
frontend/listing/product-box/box-product-slider.tpl
A Programming Approach to Computability (Monographs in Computer Science)
  • hardcover
  • 251 Seiten
  • Erschienen 1982
  • Springer Berlin
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A Programming Approach to Computability...
Arbib, M. A.
7,27 €
Details