Um Studibuch in vollem Umfang nutzen zu können, empfehlen wir Dir Javascript in Deinem Browser zu aktiveren.

Klimaneutrales Unternehmen

Faire Preise

Schneller und kostenloser Versand ab 14,90 € Bestellwert

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Troelstra, Anne S.

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

14,21 €

Lieferzeit 1-3 Werktage

Kurzinformation

Sprache:

Englisch

ISBN:

9783540064916

Verlag:

Seitenzahl:

504 Seiten

Auflage:

-

Erschienen:

1973-11-14

Mit diesem Kauf sparst Du 2,06 kg CO₂

Mehr Informationen zum Zustand

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.

Akzeptabel 14,21 €

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.

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

14,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:

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

Akzeptabel

14,21 €

Entdecke mehr zum Thema

-80%

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

8,74 € 42,75 €

-79%

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

8,23 € 39,30 €

-91%

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

2,47 € 26,74 €

-81%

Hardcover
228 Seiten
Erschienen 1989
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Proof Theory

Pohlers, Wolfram

15,02 € 80,24 €

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

19,35 €

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

1,38 €

-50%

The Real Numbers: An Introduction to Set Theory and Analysis (Undergraduate Texts in Mathematics)

hardcover
260 Seiten
Erschienen 2013
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

The Real Numbers: An Introduction to Set Theory...

Stillwell

21,76 € 43,60 €

-95%

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

10,98 € 242,50 €

-26%

An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details (Synthese Library, 70, Band 70)

microfilm
606 Seiten
Erschienen 1974
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

An Outline of Mathematical Logic: Fundamental...

Zawadowski, Waclaw

62,94 € 85,55 €

Axiomatic set theory.

unknown_binding
-

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Axiomatic set theory.

-

5,08 €

-79%

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

3,14 € 15,00 €

-75%

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.

21,79 € 85,59 €

-80%

Notes on Set Theory

Taschenbuch
292 Seiten
Erschienen 2019
Springer New York

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Notes on Set Theory

-

14,21 € 69,54 €

-39%

Unsolved problems in intuitive mathematics, Volume 1: Unsolved problems in number theory

paperback
285 Seiten
Erschienen 1994
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Unsolved problems in intuitive mathematics,...

Richard K. Guy

33,86 € 55,11 €

-91%

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

4,46 € 49,99 €

-73%

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

52,66 € 194,00 €

-55%

Mathematics and Metaphilosophy (Cambridge Elements: Elements in the Philosophy of Mathematics)

paperback
66 Seiten
Erschienen 2022
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematics and Metaphilosophy (Cambridge...

Clarke-Doane, Justin

9,53 € 21,23 €

-85%

The Whole Truth About Whole Numbers: An Elementary Introduction to Number Theory

Gebunden
281 Seiten
Erschienen 2015
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

The Whole Truth About Whole Numbers: An...

Rash, Agnes M. und Forman, ...

8,78 € 58,84 €

-57%

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

47,58 € 111,28 €

-79%

Foundations of Mathematics I

Hardcover
238 Seiten
Erschienen 2011
College Publications

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Foundations of Mathematics I

-

5,89 € 28,10 €

Mengenlehre und ihre Logik.

paperback
263 Seiten
Erschienen 1978
Frankfurt/M, Berlin, Wien :...

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mengenlehre und ihre Logik.

Quine, Willard van Orman.

14,97 €

-86%

Einführung in die Zahlentheorie (Sammlung Göschen, 5131, Band 5131)

hardcover
128 Seiten
Erschienen 1973
De Gruyter

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Einführung in die Zahlentheorie (Sammlung...

Scholz, Arnold

14,99 € 109,95 €

-63%

Nonstandard Analysis, Axiomatically (Springer Monographs in Mathematics)

paperback
428 Seiten
Erschienen 2010
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Nonstandard Analysis, Axiomatically (Springer...

Reeken, Michael

39,26 € 106,99 €

Logische Untersuchungen

paperback
146 Seiten
Erschienen 1993
Vandenhoeck & Ruprecht

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Logische Untersuchungen

Gottlob Frege

26,28 €

Naive Set Theory (Undergraduate Texts in Mathematics)

hardcover
104 Seiten
Springer Berlin

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Naive Set Theory (Undergraduate Texts in...

Halmos, Paul R.

12,63 €

-51%

Einführung in die analytische Zahlentheorie (Springer-Lehrbuch)

paperback
238 Seiten
Erschienen 2013
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Einführung in die analytische Zahlentheorie...

Brüdern, Jörg

29,12 € 58,84 €

-81%

Taschenbuch
417 Seiten
Erschienen 1998
De Gruyter Oldenbourg

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Analysis

Rudin, Walter

18,10 € 94,95 €

-80%

Mathematical Logic (Undergraduate Texts in Mathematics)

hardcover
301 Seiten
Erschienen 1994
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Logic (Undergraduate Texts in...

Thomas, Wolfgang

13,02 € 64,15 €

-75%

Proof and Knowledge in Mathematics

paperback
268 Seiten
Erschienen 2014
Routledge

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Proof and Knowledge in Mathematics

Detlefsen, Michael

17,41 € 70,19 €

-89%

Über unendliche, lineare Punktmannigfaltigkeiten

Hardcover
184 Seiten
Erschienen 1985
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Über unendliche, lineare Punktmannigfaltigkeiten

Cantor, G.;

5,45 € 49,99 €

-65%

Metamathematik der Elementarmathematik (Hochschultext)

paperback
132 Seiten
Erschienen 1983
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Metamathematik der Elementarmathematik...

Engeler, Erwin

19,12 € 54,99 €

-36%

Philosophie der Mathematik

paperback
484 Seiten
Erschienen 2015
De Gruyter

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Philosophie der Mathematik

Murawski, Roman

19,09 € 29,95 €

-71%

Roads to Infinity: The Mathematics of Truth and Proof (AK Peters/CRC Recreational Mathematics)

Gebunden
300 Seiten
Erschienen 2009
A K Peters/CRC Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Roads to Infinity: The Mathematics of Truth and...

Stillwell, John

39,28 € 136,50 €

-50%

Analysis 0: Ein logischer Einstieg in die Analysis

Kartoniert
206 Seiten
Erschienen 2011
ibidem-Verlag

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Analysis 0: Ein logischer Einstieg in die Analysis

Helbig, Wolfgang

12,51 € 24,90 €

Essai sur la psychologie de l'invention dans le domaine mathematique

paperback
Erschienen 1991
Gauthier-Villars

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Essai sur la psychologie de l'invention dans le...

Hadamard

56,79 €

-85%

Iconic Arithmetic Volume I: The Design of Mathematics for Human Understanding

paperback
442 Seiten
Erschienen 2019
Unary press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Iconic Arithmetic Volume I: The Design of...

Bricken Ph.D., William

3,95 € 26,89 €

The Laws of Thought (Great Books in Philosophy)

paperback
472 Seiten
Erschienen 2003
Prometheus Books

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

The Laws of Thought (Great Books in Philosophy)

Boole, George

25,80 €

-83%

Mathematical Logic for Computer Science: 2nd edition

paperback
320 Seiten
Erschienen 2003
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Logic for Computer Science: 2nd...

Ben-Ari, Mordechai

14,45 € 85,55 €

-47%

Elementary Analysis: The Theory of Calculus (Undergraduate texts in mathematics)

hardcover
264 Seiten
Erschienen 1980
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Elementary Analysis: The Theory of Calculus...

Ross, Kenneth A.

22,48 € 42,75 €