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

Nachhaltiges Unternehmen

Faire Preise

Schneller und kostenloser Versand ab 14,90 € Bestellwert

Cambridge University Press

Basic Proof Theory

Basic Proof Theory

Troelstra, Anne S.;Troelstra, A. S.;Schwichtenberg, H.;

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Cambridge University Press

Kurzinformation

Sprache:

Englisch

ISBN:

9780521779111

Verlag:

Cambridge University Press

Seitenzahl:

432 Seiten

Auflage:

-

Erschienen:

2002-01-13

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.

Neu bestellen bei

E-Book bestellen bei

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten

Zahlungsarten

Beschreibung

Basic Proof Theory

Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. von Troelstra, Anne S.;Troelstra, A. S.;Schwichtenberg, H.;

Produktdetails

Einband:

Hardcover

Seitenzahl:

432 Seiten

Erschienen:

2002-01-13

Sprache:

Englisch

EAN:

9780521779111

ISBN:

9780521779111

Verlag:

Cambridge University Press

Gewicht:

697 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.;Troelstra, A. S.;Schwichtenberg, H.;

Entdecke mehr vom Verlag

Cambridge University Press

Gut

14,92 €

Entdecke mehr zum Thema

A Formalization of Set Theory Without Variables (COLLOQUIUM PUBLICATIONS (AMER MATHEMATICAL SOC))

paperback
318 Seiten
Erschienen 1987
American Mathematical Society

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

A Formalization of Set Theory Without Variables...

Tarski, Alfred

56,63 €

-70%

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

hardcover
556 Seiten
Erschienen 2008
Springer

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

Applied Proof Theory: Proof Interpretations and...

Kohlenbach, Ulrich

41,73 € 139,09 €

An Introduction to Godel's Theorems (Cambridge Introductions to Philosophy)

paperback
404 Seiten
Erschienen 2013
Cambridge University Press

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

An Introduction to Godel's Theorems (Cambridge...

Smith, Peter

73,95 €

Fundamentals of Stability Theory (Perspectives in Mathematical Logic)

hardcover
447 Seiten
Erschienen 1988
Springer Berlin

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

Fundamentals of Stability Theory (Perspectives...

Baldwin, J. T.

159,65 €

-42%

Complexity of Proofs and Their Transformations in Axiomatic Theories (Translations of Mathematical Monographs)

hardcover
153 Seiten
Erschienen 1993
American Mathematical Society

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

Complexity of Proofs and Their Transformations...

Orevkov, V. P.

51,80 € 89,88 €

First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)

hardcover
257 Seiten
Erschienen 1990
Springer Verlag

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

First-Order Logic and Automated Theorem Proving...

Fitting, Melvin

67,73 €

-30%

MODELS PEANO ARITH OLG 15 C (Oxford Logic Guides, Band 15)

hardcover
304 Seiten
Erschienen 1991
Oxford University Press (UK)

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

MODELS PEANO ARITH OLG 15 C (Oxford Logic...

Kaye, Richard

169,84 € 241,53 €

Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)

paperback
320 Seiten
Erschienen 1993
Prentice-Hall

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

Mathematical Logic for Computer Science...

Ben-Ari, Mordechai

31,27 €

-46%

Number Theory: A Lively Introduction with Proofs, Applications, and Stories

hardcover
784 Seiten
Erschienen 2010
Wiley

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

Number Theory: A Lively Introduction with...

Pommersheim, James E.

126,48 € 235,00 €

Provability, Complexity, Grammars (AMERICAN MATHEMATICAL SOCIETY TRANSLATIONS SERIES 2)

hardcover
172 Seiten
Erschienen 1999
American Mathematical Society

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

Provability, Complexity, Grammars (AMERICAN...

Beklemishev, Lev Dmitrievich

115,10 €

Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)

paperback
154 Seiten
Erschienen 1988
FT Prentice Hall

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

Automated Theorem-proving in Non-classical...

McRobbie, Michael A.

37,27 €

Number Theory Arising from Finite Fields: Analytic and Probabilistic Theory (LECTURE NOTES IN PURE AND APPLIED MATHEMATICS)

hardcover
404 Seiten
Erschienen 2001
CRC Press Inc

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

Number Theory Arising from Finite Fields:...

Knopfmacher, John

192,94 €

-85%

The Elementary Theory of Groups: A Guide through the Proofs of the Tarski Conjectures (De Gruyter Expositions in Mathematics, 60)

Gebunden
324 Seiten
Erschienen 2014
De Gruyter

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

The Elementary Theory of Groups: A Guide...

Fine, Benjamin und Gaglione...

29,15 € 199,95 €

-33%

Logic of Mathematics: A Modern Course of Classical Logic (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

hardcover
272 Seiten
Erschienen 1997
Wiley-Interscience

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

Logic of Mathematics: A Modern Course of...

Adamowicz, Zofia

109,82 € 163,36 €

Foundations of Set Theory (Volume 67) (Studies in Logic and the Foundations of Mathematics, Volume 67)

hardcover
412 Seiten
Erschienen 1973
North Holland

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

Foundations of Set Theory (Volume 67) (Studies...

Bar-Hillel, Y.

126,78 €

-16%

Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)

Gebunden
198 Seiten
Erschienen 2011
Springer

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

Apartness and Uniformity: A Constructive...

Bridges, Douglas S. und Vît...

87,77 € 104,50 €

Model Theory (Oxford Logic Guides, Band 37)

hardcover
264 Seiten
Erschienen 1999
OUP Oxford

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

Model Theory (Oxford Logic Guides, Band 37)

Manzano, Mariano C.

229,09 €

Theories of Truth: A Critical Introduction (Bradford Books)

paperback
416 Seiten
Erschienen 1995
MIT Press

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

Theories of Truth: A Critical Introduction...

Kirkham, Richard L.

22,59 €

Logic: The Basics

paperback
200 Seiten
Erschienen 2010
Routledge

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

Logic: The Basics

Beall, Jc

16,60 €

-51%

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

78,96 € 160,49 €

-66%

Mathematical Proofs: A Transition to Advanced Mathematics: Pearson New International Edition: A Transition to Advanced Mathematics

Taschenbuch
424 Seiten
Erschienen 2013
Pearson

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

Mathematical Proofs: A Transition to Advanced...

Chartrand, Gary;Polimeni, A...

28,11 € 81,50 €

Program Verification (International Computer Science Series)

hardcover
324 Seiten
Erschienen 1992
Addison Wesley

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

Program Verification (International Computer...

Francez, Nissim

4,31 €

-15%

Der Gödelsche Beweis

paperback
Erschienen 2003
De Gruyter Oldenbourg

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

Der Gödelsche Beweis

Nagel, Ernest

85,18 € 99,94 €

Arithmetic Duality Theorems (Perspectives in Mathematics, Band 1)

hardcover
419 Seiten
Erschienen 1986
Academic Press Inc

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

Arithmetic Duality Theorems (Perspectives in...

Milne, J. S.

105,01 €

-74%

Frege's Theorem

hardcover
322 Seiten
Erschienen 2011
OUP Oxford

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

Frege's Theorem

Heck, Richard G.

27,09 € 103,90 €

Axiomatic Set Theory

Taschenbuch
256 Seiten
Erschienen 1991
Dover

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

Axiomatic Set Theory

Paul Bernays

74,68 €

Almost Free Modules: Set Themetic Methods: Set-Theoretic Methods (North-holland Mathematical Library)

hardcover
480 Seiten
Erschienen 1990
North-Holland

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

Almost Free Modules: Set Themetic Methods:...

Mekler, Alan H.

89,06 €

-30%

Wahrheit & Beweisbarkeit: Kompendium zu Gödels Werk

hardcover
448 Seiten
öbv, Firmensitz Wien

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

Wahrheit & Beweisbarkeit: Kompendium zu Gödels...

Gödel, Kurt

59,63 € 85,50 €

Set Theory: An Introduction to Independence Proofs (STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS)

Taschenbuch
330 Seiten
Erschienen 1980
Elsevier Science Ltd

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

Set Theory: An Introduction to Independence...

-

86,12 €

-14%

Der Gödelsche Beweis (Scientia Nova)

Kartoniert
110 Seiten
Erschienen 2010
De Gruyter

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

Der Gödelsche Beweis (Scientia Nova)

Nagel, Ernest

34,44 € 39,95 €

-22%

The Queen of Mathematics: An Introduction to Number Theory (Texts in the Mathematical Sciences, 8, Band 8)

hardcover
400 Seiten
Erschienen 1995
Springer

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

The Queen of Mathematics: An Introduction to...

Anglin, W.S.

143,11 € 183,87 €

Basic Lie Theory

hardcover
444 Seiten
Erschienen 2007
World Scientific Publishing...

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

Basic Lie Theory

Moskowitz, Martin

56,23 €

First-order Logic (Dover Books on Mathematics)

paperback
176 Seiten
Erschienen 1995
Dover Publications Inc.

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

First-order Logic (Dover Books on Mathematics)

Smullyan, Raymond M.

10,04 €

-49%

Dense Sphere Packings: A Blueprint for Formal Proofs (London Mathematical Society Lecture Note Series, 400)

paperback
286 Seiten
Erschienen 2012
Cambridge University Press

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

Dense Sphere Packings: A Blueprint for Formal...

Hales, Thomas

35,74 € 69,94 €

Advances in Logic: The North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas (Contemporary Mathematics, 425, Band 425)

paperback
150 Seiten
Erschienen 2007
American Mathematical Society

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

Advances in Logic: The North Texas Logic...

Jackson, Steve

102,46 €

-22%

Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings (Lecture Notes in Computer Science, 2102, Band 2102)

paperback
536 Seiten
Erschienen 2008
Springer

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

Computer Aided Verification: 13th International...

Comon, Hubert

88,81 € 114,48 €

-38%

Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, 6, Band 6)

paperback
292 Seiten
Erschienen 2009
Cambridge University Press

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

Formal Methods in Artificial Intelligence...

Ramsay, Allan

31,34 € 50,19 €

-30%

Mathematische Logik mit Informatik-Anwendungen (Heidelberger Taschenbücher) (German Edition) (Heidelberger Taschenbücher, 187, Band 187)

paperback
348 Seiten
Erschienen 1977
Springer

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

Mathematische Logik mit Informatik-Anwendungen...

Bergmann, E.

35,14 € 49,95 €

Computing in Horn Clause Theories (Monographs in Theoretical Computer Science. An EATCS Series, Band 16)

hardcover
333 Seiten
Erschienen 1988
Springer

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

Computing in Horn Clause Theories (Monographs...

Padawitz, Peter

23,74 €

Galois Theories (Cambridge Studies in Advanced Mathematics)

hardcover
356 Seiten
Erschienen 2001
Cambridge University Press

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

Galois Theories (Cambridge Studies in Advanced...

Borceux, Francis

82,29 €