LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Dover Publications Inc.
Proof Theory

Proof Theory

Takeuti, Gaisi

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

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.
Bestellen bei zvab
Neu bestellen bei lehmanns
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check 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

Takeuti, Gaisi

Entdecke mehr vom Verlag

Dover Publications Inc.
Gut
8,38 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-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,22 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,35 € 38,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,56 € 44,64 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,48 € 99,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,61 € 62,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
Theory of Knowledge
  • paperback
  • 228 Seiten
  • Erschienen 1990
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theory of Knowledge
Lehrer, Keith
5,61 € 48,09 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,76 € 137,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-40%
Introduction to Number Theory
  • hardcover
  • 592 Seiten
  • Erschienen 1982
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Number Theory
Peter Shiu
51,15 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,44 € 19,21 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,96 € 12,25 €
Details
frontend/listing/product-box/box-product-slider.tpl
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,30 €
Details
frontend/listing/product-box/box-product-slider.tpl
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,60 €
Details
frontend/listing/product-box/box-product-slider.tpl
-66%
DREAMS OF A FINAL THEORY
  • hardcover
  • 334 Seiten
  • Erschienen 1993
  • Pantheon
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
DREAMS OF A FINAL THEORY
Weinberg, Steven
9,20 € 26,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
Theory (v. 3) (A Scientific Theology)
  • hardcover
  • 352 Seiten
  • Erschienen 2003
  • T.& T.Clark Ltd
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theory (v. 3) (A Scientific Theology)
McGrath, Alister E.
30,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,84 € 47,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,35 € 189,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,40 € 109,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,54 € 101,60 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,92 € 12,84 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
Theories on the Scrap Heap: Scientists and Philospohers on the Falsification, Rejection, and Replacement of Theories (Fields Institute Communications, 45, Band 45)
  • paperback
  • 180 Seiten
  • Erschienen 2005
  • University of Pittsburgh Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theories on the Scrap Heap: Scientists and...
Losee, John
8,58 € 45,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,21 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
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
15,43 € 84,53 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,53 € 36,37 €
Details
frontend/listing/product-box/box-product-slider.tpl
-38%
Mathematical Logic
  • Kartoniert
  • 344 Seiten
  • Erschienen 2001
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Logic
Shoenfield, Joseph R.
37,01 € 59,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
The Structure of Scientific Theories
  • paperback
  • 832 Seiten
  • Erschienen 1979
  • University of Illinois Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Structure of Scientific Theories
Suppe, Frederick
7,24 € 40,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
Psychology And Epistemology: Towards a Theory of Knowledge
  • paperback
  • 120 Seiten
  • Erschienen 1983
  • ELT
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Psychology And Epistemology: Towards a Theory...
Jean Piaget, Trans. P.a. Wells
23,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,86 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,26 € 35,31 €
Details
frontend/listing/product-box/box-product-slider.tpl
-78%
Die Theorie, die nicht sterben wollte: Wie der englische Pastor Thomas Bayes eine Regel entdeckte, die nach 150 Jahren voller Kontroversen heute aus ... und Gesellschaft nicht mehr wegzudenken ist
  • Gebunden
  • 365 Seiten
  • Erschienen 2013
  • Springer Spektrum
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Die Theorie, die nicht sterben wollte: Wie der...
McGrayne, Sharon Bertsch un...
9,72 € 44,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
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,71 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
Die Grundstrukturen einer physikalischen Theorie
  • hardcover
  • 283 Seiten
  • Erschienen 1990
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Die Grundstrukturen einer physikalischen Theorie
Ludwig, Günther
14,67 € 49,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,02 € 64,57 €
Details
frontend/listing/product-box/box-product-slider.tpl
-51%
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...
44,87 € 90,94 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,56 € 11,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-80%
Fermat’s Last Theorem for Amateurs
  • hardcover
  • 420 Seiten
  • Erschienen 1999
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Fermat’s Last Theorem for Amateurs
Ribenboim, Paulo
16,70 € 85,59 €
Details
frontend/listing/product-box/box-product-slider.tpl
-31%
Tractatus Logico-Philosophicus - Ludwig Wittgenstein
  • paperback
  • 104 Seiten
  • Erschienen 2007
  • Book Jungle
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tractatus Logico-Philosophicus - Ludwig...
Ludwig Wittgenstein
11,16 € 16,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
-10%
Introduction to Number Theory (Art of Problem Solving Introduction)
  • paperback
  • 314 Seiten
  • Erschienen 2008
  • Aops Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Number Theory (Art of Problem...
Crawford, Mathew
40,32 € 44,94 €
Details
frontend/listing/product-box/box-product-slider.tpl
-50%
Information Theory: Structural Models for Qualitative Data (Quantitative Applications in the Social Sciences, 62, Band 62)
  • paperback
  • 100 Seiten
  • Erschienen 1986
  • Sage Publications, Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Information Theory: Structural Models for...
Krippendorff, Klaus
23,87 € 48,15 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
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,00 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,07 € 242,50 €
Details