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

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

-60%

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.

39,64 € 99,95 €

-94%

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

3,62 € 62,96 €

-82%

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690, Band 1690)

paperback
372 Seiten
Erschienen 2008
Springer

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

Theorem Proving in Higher Order Logics: 12th...

Dowek, Gilles

10,26 € 57,23 €

-99%

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

1,77 € 137,20 €

-66%

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

6,47 € 19,21 €

-76%

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

9,39 € 38,79 €

-86%

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

15,46 € 109,95 €

-69%

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,94 € 12,84 €

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

7,20 €

Theorems and Counterexamples in Mathematics (Problem Books in Mathematics)

hardcover
339 Seiten
Erschienen 1990
Springer Berlin

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

Theorems and Counterexamples in Mathematics...

Olmsted, John M.

36,74 €

-63%

Logical Properties: Identity, Existence, Predication, Necessity, Truth

hardcover
114 Seiten
Erschienen 2001
Oxford University Press

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

Logical Properties: Identity, Existence,...

McGinn, Colin

13,58 € 36,37 €

-81%

Syntactic Theory (Macmillan Modern Linguistics)

Kartoniert
360 Seiten
Erschienen 2011
Red Globe Press

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

Syntactic Theory (Macmillan Modern Linguistics)

Poole, Geoffrey

8,59 € 44,64 €

-74%

Complex Proofs of Real Theorems (University Lecture Series, 58, Band 58)

paperback
90 Seiten
Erschienen 2012
American Mathematical Society

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

Complex Proofs of Real Theorems (University...

Zalcman, Lawrence

9,29 € 35,31 €

-33%

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

33,43 € 49,95 €

-95%

Theory of Computing: A Gentle Introduction

hardcover
224 Seiten
Erschienen 2000
Pearson Education (US)

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

Theory of Computing: A Gentle Introduction

Smith, Carl H.

9,39 € 189,50 €

-38%

Mathematical Logic

Kartoniert
344 Seiten
Erschienen 2001
Routledge

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

Mathematical Logic

Shoenfield, Joseph R.

37,16 € 59,79 €

Probabilities on Algebraic Structures (Dover Books on Mathematics)

paperback
218 Seiten
Erschienen 2008
Dover Pubn Inc

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

Probabilities on Algebraic Structures (Dover...

Grenander, Ulf

43,97 €

-68%

The Probability of God: A Simple Calculation That Proves the Ultimate Truth

paperback
272 Seiten
Erschienen 2004
PRH Christian Publishing

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

The Probability of God: A Simple Calculation...

Unwin, Dr. Stephen D. D.

3,98 € 12,25 €

-96%

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science, 129, Band 129)

paperback
224 Seiten
Erschienen 2008
Springer

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

Verifying Concurrent Processes Using Temporal...

Hailpern, B. T.

2,22 € 57,23 €

-98%

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

4,08 € 242,50 €

-42%

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

9,41 € 16,09 €

-50%

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...

45,05 € 90,94 €

Gödel Without (Too Many) Tears

paperback
145 Seiten
Erschienen 2021
Logic Matters

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

Gödel Without (Too Many) Tears

Smith, Peter

14,77 €

paperback
175 Seiten
Duden ein Imprint von Corne...

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

Metamathematik

Lorenzen, Paul

12,73 €

-10%

Measure Theory (Graduate Texts in Mathematics)

hardcover
222 Seiten
Erschienen 1994
Springer Berlin

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

Measure Theory (Graduate Texts in Mathematics)

Doob, J. L.

62,39 € 69,50 €

-86%

Formal Logic: Its Scope and Limits

hardcover
198 Seiten
Erschienen 1981
McGraw-Hill Inc.,US

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

Formal Logic: Its Scope and Limits

Jeffrey, Richard C.

9,06 € 64,57 €

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.

275,98 €

-48%

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

62,22 € 118,90 €

-52%

Principia Mathematica - Volume One

paperback
684 Seiten
Erschienen 2009
Merchant Books

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

Principia Mathematica - Volume One

Alfred North Whitehead

18,28 € 37,70 €

-81%

Mathematics and Politics: Strategy, Voting, Power and Proof (Textbooks in Mathematical Sciences)

hardcover
298 Seiten
Erschienen 1995
Springer

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

Mathematics and Politics: Strategy, Voting,...

Taylor, Alan D.

15,92 € 85,55 €

-66%

Philosophy and Model Theory

paperback
538 Seiten
Erschienen 2018
Oxford University Press

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

Philosophy and Model Theory

Walsh, Sean

15,90 € 47,19 €

-31%

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

7,59 € 11,00 €

Einführung in die Logik: Kurs Philosophie-Propädeutica & Paradeigmata (UTB M: Uni-Taschenbücher)

paperback
367 Seiten
Wilhelm Fink

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

Einführung in die Logik: Kurs...

Thomas Keutner

3,39 €

-73%

99 Variationen eines Beweises: Spielarten der Mathematik

Gebunden
272 Seiten
Erschienen 2020
Carl Hanser Verlag GmbH & C...

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

99 Variationen eines Beweises: Spielarten der...

Ording, Philip und Schuh, B...

6,67 € 25,00 €

-89%

Mathematics and Politics: Strategy, Voting, Power and Proof (Textbooks in Mathematical Sciences)

paperback
304 Seiten
Erschienen 1995
Springer New York

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

Mathematics and Politics: Strategy, Voting,...

Taylor, Alan D.

6,02 € 57,23 €

-82%

Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287, Band 1287)

hardcover
388 Seiten
Erschienen 2008
Springer Berlin Heidelberg

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

Formal Hardware Verification: Methods and...

Kropf, Thomas

10,22 € 57,23 €

Advances in Probability Theory: Limit Theorems and Related Problems

perfect
-

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

Advances in Probability Theory: Limit Theorems...

-

1,31 €

-55%

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

72,41 € 160,49 €

-86%

Theory of Probability: A Critical Introductory Treatment (Wiley Classics Library)

paperback
394 Seiten
Erschienen 1990
John Wiley & Sons Ltd

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

Theory of Probability: A Critical Introductory...

Smith, Adrian

14,59 € 101,60 €

-5%

Gebunden
182 Seiten
Erschienen 2010
wbg Academic in Herder

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

Gottesbeweise

Hiltscher, Reinhard

47,20 € 49,90 €