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
5,64 €
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
9,97 €
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
3,20 € 242,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-65%
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
56,73 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-48%
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
26,19 € 49,95 €
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
-
24,31 €
Details
frontend/listing/product-box/box-product-slider.tpl
-29%
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
31,71 € 44,94 €
Details
frontend/listing/product-box/box-product-slider.tpl
-78%
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
13,61 € 63,01 €
Details
frontend/listing/product-box/box-product-slider.tpl
-22%
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...
54,27 € 69,62 €
Details
frontend/listing/product-box/box-product-slider.tpl
-15%
A Philosophical Introduction to Higher-order Logics
  • paperback
  • 482 Seiten
  • Erschienen 2023
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A Philosophical Introduction to Higher-order...
Bacon, Andrew
43,77 € 51,35 €
Details
frontend/listing/product-box/box-product-slider.tpl
-24%
Analysis
  • paperback
  • 420 Seiten
  • Erschienen 2008
  • Oldenbourg Wissenschaftsverlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Analysis
Rudin, Walter
30,28 € 39,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
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
12,11 € 109,95 €
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
111,03 €
Details
frontend/listing/product-box/box-product-slider.tpl
-69%
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.
31,05 € 99,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é
87,87 €
Details
frontend/listing/product-box/box-product-slider.tpl
Analysis 3: Maß- und Integrationstheorie, Integralsätze im IRn und Anwendungen (Aufbaukurs Mathematik)
  • paperback
  • 313 Seiten
  • Erschienen 2010
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Analysis 3: Maß- und Integrationstheorie,...
Forster, Otto
29,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-53%
Introduction to Number Theory
  • hardcover
  • 592 Seiten
  • Erschienen 1982
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Number Theory
Peter Shiu
40,23 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-69%
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.
12,78 € 41,73 €
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
2,54 € 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...
-
13,12 €
Details
frontend/listing/product-box/box-product-slider.tpl
-42%
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
7,84 € 13,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-59%
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
48,75 € 118,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-38%
Computer Arithmetic Algorithms
  • hardcover
  • 296 Seiten
  • Erschienen 2001
  • Taylor & Francis Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computer Arithmetic Algorithms
Koren, Israel
47,50 € 76,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-51%
Mathematical Logic
  • Kartoniert
  • 344 Seiten
  • Erschienen 2001
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Logic
Shoenfield, Joseph R.
29,11 € 59,79 €
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.
216,22 €
Details
frontend/listing/product-box/box-product-slider.tpl
-26%
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
47,30 € 64,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-46%
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
5,95 € 11,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
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.
12,95 € 48,14 €
Details
frontend/listing/product-box/box-product-slider.tpl
-66%
Introduction to Arithmetic for Digital Systems Designers
  • hardcover
  • 256 Seiten
  • Erschienen 1982
  • Saunders College Publishing...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Arithmetic for Digital Systems...
Waser, Sholomo
23,60 € 68,43 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
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
7,35 € 38,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-44%
Combinatory Logic
  • Hardcover
  • 358 Seiten
  • Erschienen 2011
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Combinatory Logic
Bimbó, Katalin
102,57 € 184,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
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
4,90 € 29,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-54%
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
7,37 € 16,09 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
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
3,09 € 12,84 €
Details
frontend/listing/product-box/box-product-slider.tpl
-61%
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...
35,29 € 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.
9,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-54%
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
11,41 € 24,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
Problems in Real Analysis: Advanced Calculus on the Real Axis
  • Kartoniert
  • 476 Seiten
  • Erschienen 2009
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Problems in Real Analysis: Advanced Calculus on...
Andreescu, Titu
14,42 € 85,86 €
Details
frontend/listing/product-box/box-product-slider.tpl
Commutative rings
  • hardcover
  • 182 Seiten
  • Erschienen 1974
  • University of Chicago Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Commutative rings
Kaplansky, Irving
39,44 €
Details
frontend/listing/product-box/box-product-slider.tpl
-21%
Analysis
  • Kartoniert
  • 556 Seiten
  • Erschienen 2021
  • Springer Spektrum
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Analysis
Deitmar, Anton
43,19 € 54,99 €
Details