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
-91%
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
5,38 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-78%
Well-Quasi Orders in Computation, Logic, Language and Reasoning: A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic, 53, Band 53)
  • hardcover
  • 404 Seiten
  • Erschienen 2020
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Well-Quasi Orders in Computation, Logic,...
Schuster
31,57 € 141,74 €
Details
frontend/listing/product-box/box-product-slider.tpl
-32%
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.
32,73 € 48,14 €
Details
frontend/listing/product-box/box-product-slider.tpl
-79%
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.
20,80 € 99,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
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
1,90 € 62,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Theory of Knowledge
  • paperback
  • 228 Seiten
  • Erschienen 1990
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theory of Knowledge
Lehrer, Keith
2,95 € 48,09 €
Details
frontend/listing/product-box/box-product-slider.tpl
-100%
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
0,00 € 137,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-56%
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...
30,73 € 69,62 €
Details
frontend/listing/product-box/box-product-slider.tpl
-15%
Proofs: A Long-Form Mathematics Textbook (The Long-Form Math Textbook Series)
  • paperback
  • 511 Seiten
  • Erschienen 2021
  • Independently published
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proofs: A Long-Form Mathematics Textbook (The...
Cummings, Jay
20,89 € 24,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-57%
Making Transcendence Transparent: An intuitive approach to classical transcendental number theory
  • paperback
  • 276 Seiten
  • Erschienen 2011
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Making Transcendence Transparent: An intuitive...
Tubbs, Robert
27,87 € 64,19 €
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
11,21 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
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
4,85 € 26,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
-67%
Class Field Theory (Universitext)
  • paperback
  • 240 Seiten
  • Erschienen 2007
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Class Field Theory (Universitext)
Childress, Nancy
26,27 € 80,13 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
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.
4,93 € 189,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
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
8,11 € 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.
30,29 €
Details
frontend/listing/product-box/box-product-slider.tpl
-51%
Theorems and Counterexamples in Mathematics (Problem Books in Mathematics)
  • hardcover
  • 305 Seiten
  • Erschienen 1993
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theorems and Counterexamples in Mathematics...
Gelbaum, Bernard R.
30,95 € 62,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
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
4,52 € 45,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
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,16 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-67%
Mathematical Logic
  • Kartoniert
  • 344 Seiten
  • Erschienen 2001
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Logic
Shoenfield, Joseph R.
19,50 € 59,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-57%
Introduction to Mathematical Structures and Proofs (Undergraduate Texts in Mathematics)
  • paperback
  • 416 Seiten
  • Erschienen 2016
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Mathematical Structures and...
Gerstein, Larry J.
22,92 € 53,49 €
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
12,53 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
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.
8,36 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-41%
Introduction to Counting and Probability
  • paperback
  • 243 Seiten
  • Erschienen 2007
  • Aops Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Counting and Probability
Patrick, David
23,89 € 40,66 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
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.
4,75 € 64,57 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
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...
23,64 € 90,94 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
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
8,80 € 85,59 €
Details
frontend/listing/product-box/box-product-slider.tpl
-63%
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
5,88 € 16,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
Ziel und Struktur der physikalischen Theorien
  • perfect
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Ziel und Struktur der physikalischen Theorien
-
16,68 €
Details
frontend/listing/product-box/box-product-slider.tpl
-53%
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
21,24 € 44,94 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
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.
3,16 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
Representation Theory of Finite Groups: a Guidebook (Universitext)
  • paperback
  • 304 Seiten
  • Erschienen 2019
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Representation Theory of Finite Groups: a...
Craven, David A.
8,64 € 58,84 €
Details
frontend/listing/product-box/box-product-slider.tpl
-59%
Zahlentheorie
  • hardcover
  • 497 Seiten
  • Erschienen 2003
  • Spektrum Akademischer Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Zahlentheorie
Scheid, Harald
20,80 € 51,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-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
2,14 € 242,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-70%
Wege der Wissenschaft: Einführung in die Wissenschaftstheorie
  • paperback
  • 211 Seiten
  • Erschienen 1994
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Wege der Wissenschaft: Einführung in die...
Prümper, Jochen
15,00 € 49,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
Theory of Knowledge for the IB Diploma: Skills for Success Second Edition: Skills for Success
  • Kartoniert
  • 136 Seiten
  • Erschienen 2020
  • Hodder Education
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theory of Knowledge for the IB Diploma: Skills...
Sprague, John
2,86 € 31,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
144,83 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
Local Representation Theory: Modular Representations as an Introduction to the Local Representation Theory of Finite Groups (Cambridge Studies in Advanced Mathematics)
  • paperback
  • 192 Seiten
  • Erschienen 2008
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Local Representation Theory: Modular...
Alperin, J. L.
9,98 € 56,02 €
Details
frontend/listing/product-box/box-product-slider.tpl
Introduction to Counting and Probability: Art of Problem Solving
  • paperback
  • 112 Seiten
  • Erschienen 2007
  • Aops Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Counting and Probability: Art...
Patrick, David
16,11 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
Tractatus Logico-Philosophicus (Routledge Classics)
  • Kartoniert
  • 142 Seiten
  • Erschienen 2001
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tractatus Logico-Philosophicus (Routledge...
Wittgenstein, Ludwig
6,74 € 23,38 €
Details