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

Dover Publications Inc.

Proof Theory

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Dover Publications Inc.

Kurzinformation

Sprache:

Englisch

ISBN:

9780486490731

Verlag:

Dover Publications Inc.

Seitenzahl:

512 Seiten

Auflage:

-

Erschienen:

2013-02-20

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.

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten

Zahlungsarten

Beschreibung

Proof Theory

This comprehensive monograph presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition. von Takeuti, Gaisi

Produktdetails

Einband:

Taschenbuch

Seitenzahl:

512 Seiten

Erschienen:

2013-02-20

Sprache:

Englisch

EAN:

9780486490731

ISBN:

9780486490731

Verlag:

Dover Publications Inc.

Gewicht:

670 g

Auflage:

-

Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Entdecke mehr vom Verlag

Dover Publications Inc.

Gut

8,38 €

Entdecke mehr zum Thema

-83%

Hardcover
228 Seiten
Erschienen 1989
Springer

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

Proof Theory

Pohlers, Wolfram

13,33 € 80,24 €

-81%

Proof Theory in Computer Science

Hardcover
256 Seiten
Erschienen 2001
Springer

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

Proof Theory in Computer Science

-

9,95 € 53,49 €

-82%

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

7,76 € 42,75 €

-61%

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

31,01 € 80,13 €

Elementare Beweistheorie

paperback
240 Seiten
Duden ein Imprint von Corne...

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

Elementare Beweistheorie

Heindorf, Lutz

6,28 €

-49%

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

28,95 € 57,23 €

-72%

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

24,35 € 85,55 €

-78%

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

15,46 € 70,19 €

-30%

Proofs from THE BOOK

Gebunden
326 Seiten
Erschienen 2018
Springer

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

Proofs from THE BOOK

Aigner, Martin und Ziegler,...

40,92 € 58,84 €

-81%

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

-

6,29 € 33,80 €

-91%

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

4,00 € 44,99 €

-42%

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

22,39 € 38,79 €

-54%

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

20,49 € 44,64 €

-58%

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

45,08 € 106,99 €

Topos Theory (Dover Books on Mathematics)

paperback
367 Seiten
Erschienen 2014
Dover Publications Inc.

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

Topos Theory (Dover Books on Mathematics)

Johnstone, P. T.

22,68 €

-84%

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

10,22 € 62,96 €

-72%

Theory of Knowledge

paperback
228 Seiten
Erschienen 1990
Routledge

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

Theory of Knowledge

Lehrer, Keith

13,43 € 48,09 €

-81%

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

7,31 € 39,30 €

-97%

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

4,23 € 137,20 €

Introduction to Number Theory

hardcover
592 Seiten
Erschienen 1982
Springer

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

Introduction to Number Theory

Peter Shiu

124,06 €

-74%

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

34,87 € 136,50 €

-20%

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

15,43 € 19,21 €

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

22,90 €

-92%

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,19 € 26,74 €

-16%

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.

10,31 € 12,25 €

Advances in Probability Theory: Limit Theorems and Related Problems

perfect
-

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

Advances in Probability Theory: Limit Theorems...

-

2,34 €

-82%

Notes on Set Theory

Taschenbuch
292 Seiten
Erschienen 2019
Springer New York

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

Notes on Set Theory

-

12,62 € 69,54 €

-80%

Serre's Conjecture (Lecture Notes in Mathematics, 635, Band 635)

paperback
244 Seiten
Erschienen 2009
Springer

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

Serre's Conjecture (Lecture Notes in...

Lam, T. Y.

11,72 € 57,23 €

Wissenschaftstheorie. Band II,1: Grundlagenprobleme der Logik und Mathematik: NEUAUFLAGE IN VORBEREITUNG (problemata)

hardcover
358 Seiten
Erschienen 1976
Frommann-Holzboog

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

Wissenschaftstheorie. Band II,1:...

Weingartner, Paul

2,91 €

-82%

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.

12,62 € 69,54 €

-66%

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

34,81 € 101,60 €

-77%

Probability Essentials (Universitext)

Kartoniert
268 Seiten
Erschienen 2004
Springer

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

Probability Essentials (Universitext)

Protter, Philip und Jacod, Jea

16,90 € 74,41 €

-27%

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

9,40 € 12,84 €

-91%

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.

5,29 € 57,23 €

-23%

Das BUCH der Beweise

hardcover
255 Seiten
Erschienen 2002
Springer

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

Das BUCH der Beweise

Hofmann, Karl H.

23,15 € 29,95 €

-38%

Sprache, Beweis und Logik. Band II: Anwendungen und Metatheorie

Kartoniert
239 Seiten
Erschienen 2006
Brill | mentis

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

Sprache, Beweis und Logik. Band II: Anwendungen...

Barwise, John und Etchemend...

34,47 € 56,00 €

-89%

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.

6,10 € 57,90 €

-56%

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

paperback
320 Seiten
Erschienen 1990
John Wiley & Sons Ltd

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

Theory of Probability: A Critical Introductory...

Smith, Adrian

36,95 € 84,53 €

-63%

Catalan's Conjecture (Universitext)

paperback
136 Seiten
Erschienen 2008
Springer

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

Catalan's Conjecture (Universitext)

Schoof, René

25,48 € 68,68 €

Axiomatic set theory.

unknown_binding
-

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

Axiomatic set theory.

-

4,51 €