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

Cambridge University Press

Basic Proof Theory

Basic Proof Theory

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

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

22,46 €

Lieferzeit 1-3 Werktage

Cambridge University Press

Kurzinformation

Sprache:

Englisch

ISBN:

9780521779111

Verlag:

Cambridge University Press

Seitenzahl:

432 Seiten

Auflage:

-

Erschienen:

2002-01-13

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.

Gut 22,46 €

Sauberer Zustand, Seiten und Bindung etwas abgenutzt
Knicke oder Markierungen nicht mehr als 5%
CDs und Zugangscodes verwendbar

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 E-Book bei

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

22,46 €

Lieferzeit 1-3 Werktage

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

22,46 €

Entdecke mehr zum Thema

-70%

Hardcover
228 Seiten
Erschienen 1989
Springer

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

Proof Theory

Pohlers, Wolfram

24,46 € 80,24 €

-67%

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

14,24 € 42,75 €

-66%

Proof Theory in Computer Science

Hardcover
256 Seiten
Erschienen 2001
Springer

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

Proof Theory in Computer Science

-

18,25 € 53,49 €

-29%

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

56,89 € 80,13 €

-66%

Proofs, Categories and Computations. Essays in Honor of Grigori Mints

Hardcover
322 Seiten
Erschienen 2010
College Publications

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

Proofs, Categories and Computations. Essays in...

-

11,54 € 33,80 €

-60%

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

28,36 € 70,19 €

Elementare Beweistheorie

paperback
240 Seiten
Duden ein Imprint von Corne...

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

Elementare Beweistheorie

Heindorf, Lutz

11,52 €

-54%

Model Theoretic Algebra

Hardcover
240 Seiten
Erschienen 1976
Springer Berlin Heidelberg

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

Model Theoretic Algebra

Cherlin, G.

24,78 € 53,49 €

-66%

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

13,41 € 39,30 €

-98%

The Foundations of Mathematics

408 Seiten
Erschienen 2008
Wiley & Sons

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

The Foundations of Mathematics

Sibley, Thomas Q.

5,55 € 250,50 €

-51%

Der Gödelsche Beweis (Scientia Nova)

Kartoniert
110 Seiten
Erschienen 2010
Oldenbourg Wissenschaftsverlag

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

Der Gödelsche Beweis (Scientia Nova)

Nagel, Ernest

17,19 € 34,95 €

-67%

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Hardcover
504 Seiten
Erschienen 1973
Springer

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

Metamathematical Investigation of...

Troelstra, Anne S.

23,15 € 69,54 €

-66%

Foundations of Mathematics I

Hardcover
238 Seiten
Erschienen 2011
College Publications

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

Foundations of Mathematics I

-

9,59 € 28,10 €

-84%

Transductions and Context-Free Languages

Hardcover
284 Seiten
Erschienen 1979
Teubner

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

Transductions and Context-Free Languages

Berstel, Jean

7,34 € 44,99 €

-70%

Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)

paperback
240 Seiten
Erschienen 2002
Springer

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

Isabelle/HOL: A Proof Assistant for...

Wenzel, Markus

18,76 € 62,96 €

-92%

Boole's Logic and Probability: Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory: A Critical Exposition ... IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS)

hardcover
427 Seiten
Erschienen 1986
North-Holland

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

Boole's Logic and Probability: Critical...

Hailperin, Theodore

24,54 € 296,39 €

-69%

K-Theory for Operator Algebras

paperback
324 Seiten
Erschienen 2008
Cambridge University Press

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

K-Theory for Operator Algebras

Blackadar, Bruce

20,49 € 65,40 €

-81%

Systems of Logic

Taschenbuch
336 Seiten
Erschienen 2009
Cambridge University Press

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

Systems of Logic

Martin, Norman M.

11,18 € 57,90 €

-75%

A Pythagorean Introduction to Number Theory

Gebunden
279 Seiten
Erschienen 2019
Springer

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

A Pythagorean Introduction to Number Theory

Takloo-Bighash, Ramin

13,44 € 53,49 €

-66%

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

5,12 € 15,00 €

-94%

Specification and Proof in Real Time CSP

Hardcover
200 Seiten
Erschienen 1993
Cambridge University Press

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

Specification and Proof in Real Time CSP

Davies, Jim

7,75 € 137,20 €

-53%

Formally p-adic Fields

Hardcover
176 Seiten
Erschienen 1984
Springer

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

Formally p-adic Fields

Roquette, P.;Prestel, A.;

12,68 € 26,70 €

-85%

Positive Polynomials. From Hilbert's 17th Problem to Real Algebra

Gebunden
245 Seiten
Erschienen 2001
Springer

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

Positive Polynomials. From Hilbert's 17th...

Prestel, Alexander und Delz...

7,82 € 53,49 €

-85%

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

15,65 € 106,99 €

-59%

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

57,44 € 141,78 €

Axiomatic set theory.

unknown_binding
-

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

Axiomatic set theory.

-

8,28 €

-85%

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

4,02 € 26,74 €

Beginning Model Theory: The Completeness Theorem and Some Consequences (Oxford Logic Guides)

hardcover
152 Seiten
Erschienen 1977
Oxford University Press

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

Beginning Model Theory: The Completeness...

Bridge, Jane

28,30 €

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

41,08 €

-67%

Notes on Set Theory

Taschenbuch
292 Seiten
Erschienen 2019
Springer New York

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

Notes on Set Theory

-

23,15 € 69,54 €

-88%

Einführung in die mathematische Logik (Raabe,samtliche Werke, Band 5)

Kartoniert
285 Seiten
Erschienen 1977
Vandenhoeck & Ruprecht

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

Einführung in die mathematische Logik...

Tarski, Alfred

4,08 € 35,00 €

-95%

Digital Signatures

Gebunden
192 Seiten
Erschienen 2010
Springer

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

Digital Signatures

Katz, Jonathan G.

6,00 € 112,50 €

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

17,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

31,53 €

-67%

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

21,20 € 64,15 €

-86%

Adaptive Logics for Defeasible Reasoning

Gebunden
456 Seiten
Erschienen 2013
Springer

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

Adaptive Logics for Defeasible Reasoning

Straßer, Christian

15,49 € 106,99 €

-19%

Degrees of Belief (Synthese Library, Band 342)

paperback
364 Seiten
Erschienen 2009
Springer

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

Degrees of Belief (Synthese Library, Band 342)

Schmidt-Petri, Christoph

86,88 € 106,99 €

-79%

Principia Mathematica to *56

Hardcover
460 Seiten
Erschienen 2002
Cambridge University Press

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

Principia Mathematica to *56

Whitehead, Alfred North;Rus...

17,99 € 86,20 €

-69%

Klassische Gottesbeweise in der Sicht der gegenwärtigen Logik und Wissenschaftstheorie. BonD (Münchener Philosophische Studien: (Fortsetzung der Pullacher Philosophischen Forschungen), 4, Band 4)

Hardcover
232 Seiten
Erschienen 1998
W. Kohlhammer GmbH

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

Klassische Gottesbeweise in der Sicht der...

Ricken, Friedo

20,07 € 64,00 €