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
-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
7,80 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
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
7,76 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-2%
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.
47,40 € 48,14 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
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,13 € 38,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-70%
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.
30,12 € 99,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
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,75 € 62,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
Theory of Knowledge
  • paperback
  • 228 Seiten
  • Erschienen 1990
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theory of Knowledge
Lehrer, Keith
4,28 € 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,35 € 137,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-54%
Introduction to Number Theory
  • hardcover
  • 592 Seiten
  • Erschienen 1982
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Number Theory
Peter Shiu
39,02 € 85,55 €
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,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-28%
An Introduction To The Theory Of Numbers
  • Kartoniert
  • 480 Seiten
  • Erschienen 2008
  • Oxford University Press, U....
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
An Introduction To The Theory Of Numbers
Hardy, Godfrey H. und Wrigh...
50,29 € 69,62 €
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.
27,92 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
16,24 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
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
7,02 € 26,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
-39%
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
19,88 € 32,50 €
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.
23,25 €
Details
frontend/listing/product-box/box-product-slider.tpl
-51%
Class Field Theory (Universitext)
  • paperback
  • 240 Seiten
  • Erschienen 2007
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Class Field Theory (Universitext)
Childress, Nancy
39,07 € 80,13 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
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.
7,13 € 189,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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
11,75 € 109,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
Classical Galois Theory
  • hardcover
  • 248 Seiten
  • Erschienen 1988
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Classical Galois Theory
Gaal, L.
43,86 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
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
2,99 € 12,84 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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,68 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-72%
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,32 € 36,37 €
Details
frontend/listing/product-box/box-product-slider.tpl
-24%
Die Wahrscheinlichkeit der Existenz Gottes: Mit einer einfachen Formel auf der Spur der letzten Wahrheit
  • Gebunden
  • 287 Seiten
  • Erschienen 2005
  • Discorsi
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Die Wahrscheinlichkeit der Existenz Gottes: Mit...
Unwin, Stephen D.
18,23 € 24,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-69%
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,60 € 18,14 €
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
18,15 €
Details
frontend/listing/product-box/box-product-slider.tpl
Testing Statistical Hypotheses (Probability & Mathematical Statistics S.)
  • hardcover
  • 624 Seiten
  • Erschienen 1986
  • John Wiley & Sons Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Testing Statistical Hypotheses (Probability &...
Lehmann, E. L.
24,77 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
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,10 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-80%
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,06 € 35,31 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
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...
7,41 € 44,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-78%
The Fundamental Theorem of Algebra (Undergraduate Texts in Mathematics)
  • Pappe
  • 208 Seiten
  • Erschienen 1997
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Fundamental Theorem of Algebra...
Fine, Benjamin und Rosenber...
18,78 € 85,59 €
Details
frontend/listing/product-box/box-product-slider.tpl
-58%
Game Theory (Mit Press)
  • Gebunden
  • 579 Seiten
  • Erschienen 1991
  • The MIT Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Game Theory (Mit Press)
Fudenberg, Drew und Tirole,...
52,51 € 124,60 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
Test Theory: A Unified Treatment
  • hardcover
  • 400 Seiten
  • Erschienen 1999
  • Psychology Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Test Theory: A Unified Treatment
McDonald, Roderick P.
19,12 € 128,40 €
Details
frontend/listing/product-box/box-product-slider.tpl
-61%
Das BUCH der Beweise
  • Hardcover
    • -
  • Erschienen 2003
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Das BUCH der Beweise
Aigner, Martin;Ziegler, Gün...
19,37 € 49,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-55%
Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory (Graduate Texts in Mathematics, 50, Band 50)
  • paperback
  • 432 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Fermat's Last Theorem: A Genetic Introduction...
M. Edwards, Harold
25,93 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
Theoretische Informatik - kurzgefaßt
  • hardcover
  • 200 Seiten
  • Erschienen 1997
  • Spektrum Akademischer Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theoretische Informatik - kurzgefaßt
Schöning, Uwe
3,45 € 14,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-62%
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...
34,23 € 90,94 €
Details
frontend/listing/product-box/box-product-slider.tpl
Introduction to Probability Theory with Computing
  • paperback
  • 288 Seiten
  • Erschienen 1975
  • Prentice Hall
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Probability Theory with Computing
Snell, J. Laurie
47,81 €
Details
frontend/listing/product-box/box-product-slider.tpl
-48%
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
5,77 € 11,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
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
12,74 € 85,59 €
Details