LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Cambridge University Press
Basic Proof Theory

Basic Proof Theory

Troelstra, Anne S.;Troelstra, A. S.;Schwichtenberg, H.;

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

28,23 €

Lieferzeit 1-3 Werktage

Kurzinformation
Sprache:
Englisch
ISBN:
9780521779111
Verlag:
Cambridge University Press
Seitenzahl:
432 Seiten
Auflage:
-
Erschienen:
2002-01-13
Mit diesem Kauf sparst Du 2,06 kg CO2

Mehr Informationen zum Zustand Green Tree

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.
  • Sauberer Zustand, Seiten und Bindung etwas abgenutzt
  • Knicke oder Markierungen nicht mehr als 5%
  • CDs und Zugangscodes verwendbar
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 E-Book bei lehmanns bestellen
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

28,23 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

Basic Proof Theory

Introduction to proof theory and its applications in mathematical logic, theoretical computer science and artificial intelligence. von Troelstra, Anne S.;Troelstra, A. S.;Schwichtenberg, H.;

Produktdetails

Einband:
Hardcover
Seitenzahl:
432 Seiten
Erschienen:
2002-01-13
Sprache:
Englisch
EAN:
9780521779111
ISBN:
9780521779111
Verlag:
Cambridge University Press
Gewicht:
697 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Troelstra, Anne S.;Troelstra, A. S.;Schwichtenberg, H.;

Entdecke mehr vom Verlag

Cambridge University Press
Gut
28,23 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-59%
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
22,06 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
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,...
9,84 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-54%
A Classical Introduction to Modern Number Theory
  • Hardcover
  • 394 Seiten
  • Erschienen 1990
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A Classical Introduction to Modern Number Theory
Ireland, Kenneth;Rosen, Mic...
35,17 € 77,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.
6,98 €
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
11,86 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
9,75 €
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
19,68 €
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
9,23 €
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;
25,76 €
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
24,88 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
14,06 €
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
17,91 €
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
71,53 €
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
32,80 €
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
5,05 €
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...
-
14,50 €
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
16,86 €
Details
frontend/listing/product-box/box-product-slider.tpl
Foundations of Mathematics I
  • Hardcover
  • 238 Seiten
  • Erschienen 2011
  • College Publications
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Mathematics I
-
12,06 €
Details
frontend/listing/product-box/box-product-slider.tpl
Natural Deduction: A Proof-theoretical Study (Dover Books on Mathematics)
  • paperback
  • 113 Seiten
  • Erschienen 2006
  • Dover Publications Inc.
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Natural Deduction: A Proof-theoretical Study...
Prawitz, Dag
5,82 €
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
72,22 €
Details
frontend/listing/product-box/box-product-slider.tpl
Grundlagen der Mathematik II
  • Hardcover
  • 584 Seiten
  • Erschienen 2012
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Grundlagen der Mathematik II
Bernays, Paul;Hilbert, David;
34,18 €
Details
frontend/listing/product-box/box-product-slider.tpl
Axiomatic set theory.
  • unknown_binding
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Axiomatic set theory.
-
10,41 €
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
-
22,95 €
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.
29,11 €
Details
frontend/listing/product-box/box-product-slider.tpl
Elementary Induction on Abstract Structures
  • Taschenbuch
  • 242 Seiten
  • Erschienen 2008
  • Dover Pubn Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Elementary Induction on Abstract Structures
Moschovakis, Yiannis N
6,44 €
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
35,66 €
Details
frontend/listing/product-box/box-product-slider.tpl
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
  • Hardcover
  • 392 Seiten
  • Erschienen 1981
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Iterated Inductive Definitions and Subsystems...
Buchholz, W.;Sieg, W.;Pohle...
16,05 €
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
30,85 €
Details