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
8,06 €
Details
frontend/listing/product-box/box-product-slider.tpl
-50%
Introduction to Analytic Number Theory (Undergraduate Texts in Mathematics)
  • hardcover
  • 352 Seiten
  • Erschienen 1976
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Analytic Number Theory...
Apostol, Tom M.
28,50 € 56,66 €
Details
frontend/listing/product-box/box-product-slider.tpl
Metamathematik
  • paperback
  • 175 Seiten
  • Duden ein Imprint von Corne...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Metamathematik
Lorenzen, Paul
14,25 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
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
4,57 € 242,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-50%
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
81,03 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
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
1,31 € 15,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
Notes on Set Theory
  • Taschenbuch
  • 292 Seiten
  • Erschienen 2019
  • Springer New York
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Notes on Set Theory
-
5,92 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-25%
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
37,41 € 49,95 €
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
16,36 €
Details
frontend/listing/product-box/box-product-slider.tpl
-69%
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
19,44 € 63,01 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
45,30 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
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
17,30 € 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é
125,51 €
Details
frontend/listing/product-box/box-product-slider.tpl
-68%
The Fundamental Theorem of Algebra (Undergraduate Texts in Mathematics)
  • Pappe
  • 208 Seiten
  • Erschienen 1997
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Fundamental Theorem of Algebra...
Fine, Benjamin und Rosenber...
27,65 € 85,59 €
Details
frontend/listing/product-box/box-product-slider.tpl
-56%
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.
44,36 € 99,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-33%
Introduction to Number Theory
  • hardcover
  • 592 Seiten
  • Erschienen 1982
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Number Theory
Peter Shiu
57,46 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-56%
Integers, Fractions and Arithmetic: A Guide for Teachers (MSRI Mathematical Circles Library, 10, Band 10)
  • paperback
  • 208 Seiten
  • Erschienen 2012
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Integers, Fractions and Arithmetic: A Guide for...
Sally, Paul J., Jr.
18,26 € 41,73 €
Details
frontend/listing/product-box/box-product-slider.tpl
-44%
Foundations of Constructive Analysis
  • paperback
  • 402 Seiten
  • Erschienen 2012
  • Ishi Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Constructive Analysis
Beeson, Michael
16,45 € 29,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
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
3,62 € 110,58 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
Limits, Limits Everywhere: The Tools of Mathematical Analysis
  • paperback
  • 216 Seiten
  • Erschienen 2012
  • Oxford University Press, USA
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Limits, Limits Everywhere: The Tools of...
Applebaum, David
9,35 € 41,29 €
Details
frontend/listing/product-box/box-product-slider.tpl
-17%
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
11,20 € 13,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-41%
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
69,63 € 118,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
67,56 €
Details
frontend/listing/product-box/box-product-slider.tpl
Computer Arithmetic Algorithms
  • hardcover
  • 296 Seiten
  • Erschienen 2001
  • Taylor & Francis Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computer Arithmetic Algorithms
Koren, Israel
79,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
Lehrbuch der Analysis. Teil 1 (Mathematische Leitfäden)
  • Hardcover
  • 643 Seiten
  • Erschienen 2006
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Lehrbuch der Analysis. Teil 1 (Mathematische...
Heuser, Harro
7,00 € 29,90 €
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.
308,84 €
Details
frontend/listing/product-box/box-product-slider.tpl
-29%
Mathematical Logic
  • Kartoniert
  • 344 Seiten
  • Erschienen 2001
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Logic
Shoenfield, Joseph R.
42,37 € 59,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-23%
Advanced Number Theory (Dover Books on Mathematics)
  • paperback
  • 276 Seiten
  • Erschienen 1980
  • Dover Publications Inc.
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Advanced Number Theory (Dover Books on...
Cohn, Harvey
8,50 € 11,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-32%
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
17,04 € 24,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
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
10,50 € 38,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Diophantine Equations and Inequalities in Algebraic Number Fields
  • paperback
  • 170 Seiten
  • Erschienen 1991
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Diophantine Equations and Inequalities in...
Wang, Yuan
4,94 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-66%
Philosophical Investigations: The English Text of the Third Edition
  • paperback
  • 250 Seiten
  • Erschienen 1973
  • Pearson
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Philosophical Investigations: The English Text...
Anscombe, G. E. M.
26,75 € 78,45 €
Details
frontend/listing/product-box/box-product-slider.tpl
-36%
A New Introduction to Modal Logic
  • paperback
  • 432 Seiten
  • Erschienen 1996
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A New Introduction to Modal Logic
Cresswell, M. J.
34,76 € 54,59 €
Details
frontend/listing/product-box/box-product-slider.tpl
-66%
Studies in model theory
  • hardcover
  • 197 Seiten
  • Erschienen 1973
  • Mathematical Association of...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Studies in model theory
Michael D. Morley
4,41 € 12,84 €
Details
frontend/listing/product-box/box-product-slider.tpl
-65%
A Course in Mathematical Logic for Mathematicians (Graduate Texts in Mathematics, 53, Band 53)
  • hardcover
  • 404 Seiten
  • Erschienen 2009
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A Course in Mathematical Logic for...
Koblitz
22,78 € 65,38 €
Details
frontend/listing/product-box/box-product-slider.tpl
-35%
Introduction to Logic (Dover Books on Mathematics)
  • paperback
  • 336 Seiten
  • Erschienen 1999
  • Dover Publications Inc.
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Logic (Dover Books on Mathematics)
Suppes, Patrick
10,53 € 16,09 €
Details
frontend/listing/product-box/box-product-slider.tpl
-43%
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...
51,43 € 90,94 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Modern Analysis (Studies in Advanced Mathematics, Band 26)
  • hardcover
  • 572 Seiten
  • Erschienen 1997
  • CRC Press Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modern Analysis (Studies in Advanced...
Kuttler, Kenneth
11,61 € 149,75 €
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.
13,56 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
Proof Theory: The First Step into Impredicativity (Universitext)
  • paperback
  • 388 Seiten
  • Erschienen 2010
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory: The First Step into...
Pohlers, Wolfram
14,55 € 80,13 €
Details