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

32,21 €

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

32,21 €

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
32,21 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
Notes on Set Theory
  • Hardcover
  • 292 Seiten
  • Erschienen 2005
  • Springer New York
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Notes on Set Theory
Moschovakis, Yiannis
32,21 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Die reellen Zahlen als Fundament und Baustein der Analysis
  • Hardcover
  • 196 Seiten
  • Erschienen 1999
  • De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Die reellen Zahlen als Fundament und Baustein...
Koepf, Wolfram;Schmersau, D...
2,65 € 109,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-62%
Analysis II
  • Hardcover
  • 216 Seiten
  • Erschienen 2013
  • Oldenbourg Wissenschaftsverlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Analysis II
Schulz, Friedmar
11,20 € 29,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
Einführung in die mathematische Logik (Raabe,samtliche Werke, Band 5)
  • paperback
  • 285 Seiten
  • Erschienen 1977
  • Vandenhoeck & Ruprecht
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Einführung in die mathematische Logik...
Tarski, Alfred
5,68 € 30,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-69%
Analytische Zahlentheorie
  • Hardcover
  • 120 Seiten
  • Erschienen 2024
  • De Gruyter
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Analytische Zahlentheorie
Helmberg, Gilbert
11,31 € 36,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Towards Mathematical Philosophy: Papers from the Studia Logica Conference Trends in Logic IV
  • Hardcover
  • 344 Seiten
  • Erschienen 2008
  • SPRINGER NATURE
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Towards Mathematical Philosophy: Papers from...
Makinson
3,32 € 149,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-49%
A Classical Introduction to Modern Number Theory
  • Hardcover
  • 394 Seiten
  • Erschienen 1990
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A Classical Introduction to Modern Number Theory
Ireland, Kenneth;Rosen, Mic...
38,91 € 77,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-60%
Die Analysis im Wandel und im Widerstreit
  • Hardcover
    • -
  • Erschienen 2015
  • Verlag Karl Alber
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Die Analysis im Wandel und im Widerstreit
Spalt, Detlef D.
16,17 € 39,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
Analysis II (Texts and Readings in Mathematics, Band 38)
  • hardcover
  • 218 Seiten
  • Erschienen 2014
  • Hindustan Book Agency
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Analysis II (Texts and Readings in Mathematics,...
Tao, Terence
16,87 €
Details
frontend/listing/product-box/box-product-slider.tpl
Einführung in die analytische Zahlentheorie
  • Hardcover
  • 252 Seiten
  • Erschienen 1995
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Einführung in die analytische Zahlentheorie
Brüdern, Jörg
24,84 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
24,87 €
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
3,12 €
Details
frontend/listing/product-box/box-product-slider.tpl
Cantorian Set Theory and Limitation of Size
  • Taschenbuch
  • 368 Seiten
  • Erschienen 1987
  • Oxford University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Cantorian Set Theory and Limitation of Size
Hallett, Michael
34,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
21,77 €
Details
frontend/listing/product-box/box-product-slider.tpl
Vom Kontinuum zum Integral
  • Hardcover
  • 224 Seiten
  • Erschienen 2018
  • Springer Spektrum
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Vom Kontinuum zum Integral
Taschner, Rudolf
7,65 €
Details
frontend/listing/product-box/box-product-slider.tpl
Was ist logische Analyse?
  • Taschenbuch
  • 219 Seiten
  • Erschienen 2008
  • eva
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Was ist logische Analyse?
Waismann, Friedrich;
5,03 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
49,36 €
Details
frontend/listing/product-box/box-product-slider.tpl
MODAL LOGIC AS METAPHYSICS P
  • Hardcover
  • 482 Seiten
  • Erschienen 2016
  • Oxford University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
MODAL LOGIC AS METAPHYSICS P
Williamson
12,50 €
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
43,85 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
119,32 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
19,81 €
Details
frontend/listing/product-box/box-product-slider.tpl
Proof Theory
  • Hardcover
  • 228 Seiten
  • Erschienen 1989
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory
Pohlers, Wolfram
44,41 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
5,59 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
18,66 €
Details
frontend/listing/product-box/box-product-slider.tpl
Foundations of Mathematics I
  • Hardcover
  • 238 Seiten
  • Erschienen 2011
  • College Publications
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Mathematics I
-
13,34 €
Details
frontend/listing/product-box/box-product-slider.tpl
Natural Deduction: A Proof-theoretical Study (Dover Books on Mathematics)
  • paperback
  • 113 Seiten
  • Erschienen 2006
  • Dover Publications Inc.
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Natural Deduction: A Proof-theoretical Study...
Prawitz, Dag
6,44 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
107,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
79,89 €
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.
-
11,52 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
7,12 €
Details
frontend/listing/product-box/box-product-slider.tpl
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
  • Hardcover
  • 392 Seiten
  • Erschienen 1981
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Iterated Inductive Definitions and Subsystems...
Buchholz, W.;Sieg, W.;Pohle...
17,76 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
10,11 €
Details