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.
Neu bei lehmanns bestellen
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
Notes on Set Theory
  • Hardcover
  • 292 Seiten
  • Erschienen 2005
  • Springer New York
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Notes on Set Theory
Moschovakis, Yiannis
24,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
Quantum Field Theory
  • Hardcover
  • 304 Seiten
  • Erschienen 2016
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Quantum Field Theory
Padmanabhan, Thanu
14,00 € 58,84 €
Details
frontend/listing/product-box/box-product-slider.tpl
-40%
Der Gödelsche Beweis (Scientia Nova)
  • perfect
  • 112 Seiten
  • Erschienen 2010
  • Oldenbourg Wissenschaftsverlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Der Gödelsche Beweis (Scientia Nova)
Nagel, Ernest
21,07 € 34,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
A Pythagorean Introduction to Number Theory
  • Hardcover
  • 300 Seiten
  • Erschienen 2018
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A Pythagorean Introduction to Number Theory
Takloo-Bighash, Ramin
14,50 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Positive Polynomials. From Hilbert's 17th Problem to Real Algebra
  • Hardcover
  • 245 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Positive Polynomials. From Hilbert's 17th...
Prestel, Alexander;Delzell,...
8,44 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-27%
Probability Essentials (Universitext)
  • paperback
  • 268 Seiten
  • Erschienen 2004
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Probability Essentials (Universitext)
Protter, Philip
50,71 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
Theory of Finite and Infinite Graphs
  • hardcover
  • 432 Seiten
  • Erschienen 1990
  • Birkhäuser
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theory of Finite and Infinite Graphs
Tutte, W.T.
9,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
The Foundations of Mathematics
    -
  • 408 Seiten
  • Erschienen 2008
  • Wiley & Sons
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Foundations of Mathematics
Sibley, Thomas Q.
5,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
Theorems, Corollaries, Lemmas, and Methods of Proof
  • Hardcover
  • 336 Seiten
  • Erschienen 2006
  • Wiley-Interscience
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theorems, Corollaries, Lemmas, and Methods of...
Rossi, Richard J
15,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
Representation Theory of Finite Groups
  • paperback
  • 196 Seiten
  • Erschienen 1965
  • Academic Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Representation Theory of Finite Groups
Burrow, Martin
2,31 €
Details
frontend/listing/product-box/box-product-slider.tpl
The Theory of Classical Valuations
  • Hardcover
  • 420 Seiten
  • Erschienen 1999
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Theory of Classical Valuations
Ribenboim, Paulo
16,89 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
5,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
7,93 €
Details
frontend/listing/product-box/box-product-slider.tpl
K-Theory for Operator Algebras
  • Hardcover
  • 324 Seiten
  • Erschienen 2002
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
K-Theory for Operator Algebras
Blackadar, Bruce;
22,11 €
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...
-
4,64 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
20,24 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
15,37 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
61,40 €
Details
frontend/listing/product-box/box-product-slider.tpl
Proof Theory
  • Hardcover
  • 228 Seiten
  • Erschienen 1989
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory
Pohlers, Wolfram
26,40 €
Details
frontend/listing/product-box/box-product-slider.tpl
Basic Proof Theory
  • Hardcover
  • 432 Seiten
  • Erschienen 2002
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Basic Proof Theory
Troelstra, Anne S.;Troelstr...
24,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
4,33 €
Details
frontend/listing/product-box/box-product-slider.tpl
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...
-
12,45 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
14,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
Models of Peano Arithmetic (Oxford Logic Guides, Band 15)
  • hardcover
  • 304 Seiten
  • Erschienen 1991
  • Clarendon Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Models of Peano Arithmetic (Oxford Logic...
Kaye, Richard
61,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
Theory of Recursive Functions and Effective Computability
  • Hardcover
  • 506 Seiten
  • Erschienen 1987
  • MIT Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theory of Recursive Functions and Effective...
Rogers, Hartley
16,89 €
Details
frontend/listing/product-box/box-product-slider.tpl
Classical Recursion Theory, Volume II
  • Hardcover
  • 949 Seiten
  • Erschienen 1999
  • North Holland
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Classical Recursion Theory, Volume II
Odifreddi, P.
62,33 €
Details
frontend/listing/product-box/box-product-slider.tpl
Proof Theory in Computer Science
  • Hardcover
  • 256 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory in Computer Science
-
19,70 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
18,61 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
24,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
30,61 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
44,33 €
Details
frontend/listing/product-box/box-product-slider.tpl
Boole's Logic and Probability: Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory: A Critical Exposition ... IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
  • hardcover
  • 427 Seiten
  • Erschienen 1986
  • North-Holland
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Boole's Logic and Probability: Critical...
Hailperin, Theodore
26,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
Zum Problem einer transzendentalen Begründbarkeit des Theismus
  • perfect
    • -
  • ohne Angabe,
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Zum Problem einer transzendentalen...
unbekannt
10,56 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
34,73 €
Details
frontend/listing/product-box/box-product-slider.tpl
Elementare Beweistheorie
  • paperback
  • 240 Seiten
  • Duden ein Imprint von Corne...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Elementare Beweistheorie
Heindorf, Lutz
13,64 €
Details
frontend/listing/product-box/box-product-slider.tpl
Model Theoretic Algebra
  • Hardcover
  • 240 Seiten
  • Erschienen 1976
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Model Theoretic Algebra
Cherlin, G.
29,32 €
Details
frontend/listing/product-box/box-product-slider.tpl
Formally p-adic Fields
  • Hardcover
  • 176 Seiten
  • Erschienen 1984
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formally p-adic Fields
Roquette, P.;Prestel, A.;
15,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
109,22 €
Details
frontend/listing/product-box/box-product-slider.tpl
Theory of Knowledge
  • paperback
  • 228 Seiten
  • Erschienen 1990
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theory of Knowledge
Lehrer, Keith
32,53 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
31,98 €
Details