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

Proofs from THE BOOK

hardcover
316 Seiten
Erschienen 2014
Springer

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

Proofs from THE BOOK

Hofmann, Karl H.

49,95 €

-68%

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.

31,74 € 99,95 €

How to Read and Do Proofs: An Introduction to Mathematical Thought Processes

paperback
188 Seiten
Erschienen 1982
John Wiley & Sons Inc

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

How to Read and Do Proofs: An Introduction to...

Solow, Daniel

17,11 €

-90%

The Four-Color Theorem: History, Topological Foundations, and Idea of Proof

hardcover
260 Seiten
Erschienen 1998
Springer

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

The Four-Color Theorem: History, Topological...

Peschke, J.lie

8,18 € 85,55 €

-36%

Proof and the Art of Mathematics

Kartoniert
208 Seiten
Erschienen 2020
The MIT Press

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

Proof and the Art of Mathematics

Hamkins, Joel David

20,94 € 32,50 €

-95%

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

2,90 € 62,96 €

-86%

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

8,21 € 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,42 € 137,20 €

-81%

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

7,52 € 38,79 €

Die vollständige Induktion

perfect
183 Seiten
-

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

Die vollständige Induktion

-

24,84 €

-89%

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

12,38 € 109,95 €

-75%

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,15 € 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

5,77 €

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.

29,42 €

-70%

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

10,88 € 36,37 €

-85%

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

6,88 € 44,64 €

-79%

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

7,44 € 35,31 €

Elementare Logik: Prädikatenlogik der ersten Stufe

paperback
305 Seiten
Erschienen 1997
Vandenhoeck & Ruprecht

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

Elementare Logik: Prädikatenlogik der ersten Stufe

Oberschelp, Anneliese

13,79 €

-46%

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

26,77 € 49,95 €

-50%

Mathematical Logic

Kartoniert
344 Seiten
Erschienen 2001
Routledge

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

Mathematical Logic

Shoenfield, Joseph R.

29,76 € 59,79 €

-97%

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.

1,77 € 57,23 €

-99%

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

3,27 € 242,50 €

-53%

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

7,53 € 16,09 €

-43%

Combinatory Logic

Hardcover
358 Seiten
Erschienen 2011
Routledge

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

Combinatory Logic

Bimbó, Katalin

104,84 € 184,50 €

-60%

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

36,07 € 90,94 €

-91%

Theory of Knowledge

paperback
228 Seiten
Erschienen 1990
Routledge

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

Theory of Knowledge

Lehrer, Keith

4,51 € 48,09 €

paperback
175 Seiten
Duden ein Imprint von Corne...

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

Metamathematik

Lorenzen, Paul

10,20 €

-28%

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.

49,96 € 69,50 €

-89%

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.

7,25 € 64,57 €

-94%

Computation Theory and Logic

Hardcover
460 Seiten
Erschienen 1987
Springer

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

Computation Theory and Logic

Börger, Egon

3,26 € 53,49 €

-58%

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

49,82 € 118,90 €

-85%

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.

12,75 € 85,55 €

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

2,71 €

-76%

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,12 € 25,00 €

-92%

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.

4,82 € 57,23 €

-86%

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

8,19 € 57,23 €

-67%

The Theory of Graphs (Dover Books on Mathematics)

paperback
247 Seiten
Erschienen 2001
Dover Publications Inc.

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

The Theory of Graphs (Dover Books on Mathematics)

Berge, Claude

5,91 € 18,14 €

-64%

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

57,98 € 160,49 €

-44%

tertium datur: Eine religionsphilosophische Einführung in die Logik. Dahlemer Vorlesungen 1 (Klaus Heinrich: Dahlemer Vorlesungen)

Gebunden
232 Seiten
Erschienen 2021
ça-ira-Verlag

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

tertium datur: Eine religionsphilosophische...

Heinrich, Klaus und Kücken,...

18,88 € 34,00 €

Logische Untersuchungen

paperback
146 Seiten
Erschienen 1993
Vandenhoeck & Ruprecht

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

Logische Untersuchungen

Gottlob Frege

8,89 €