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

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation
Sprache:
Englisch
ISBN:
9780521779111
Verlag:
Cambridge University Press
Seitenzahl:
432 Seiten
Auflage:
-
Erschienen:
2002-01-13
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 E-Book 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

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
14,92 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-88%
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
5,14 € 42,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
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
20,51 € 80,13 €
Details
frontend/listing/product-box/box-product-slider.tpl
-54%
Proof Theory and Algebra in Logic (Short Textbooks in Logic)
  • paperback
  • 168 Seiten
  • Erschienen 2019
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory and Algebra in Logic (Short...
Ono, Hiroakira
18,78 € 40,65 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
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...
-
4,16 € 33,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
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
10,23 € 70,19 €
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
4,15 €
Details
frontend/listing/product-box/box-product-slider.tpl
-37%
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.
62,54 € 99,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
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.
8,35 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
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
2,65 € 44,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
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
6,76 € 62,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
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.
4,03 € 57,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-61%
Gödel's Theorem: An Incomplete Guide To Its Use And Abuse
  • Kartoniert
  • 180 Seiten
  • Erschienen 2011
  • A K Peters
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Gödel's Theorem: An Incomplete Guide To Its Use...
Franzen, Torkel
18,28 € 46,78 €
Details
frontend/listing/product-box/box-product-slider.tpl
-72%
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
16,19 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
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
1,85 € 15,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
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
2,80 € 137,20 €
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.
-
2,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-47%
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
10,20 € 19,21 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
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
1,45 € 26,74 €
Details
frontend/listing/product-box/box-product-slider.tpl
-62%
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
14,81 € 38,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-49%
Das BUCH der Beweise
  • hardcover
  • 255 Seiten
  • Erschienen 2002
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Das BUCH der Beweise
Hofmann, Karl H.
15,31 € 29,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
Notes on Set Theory
  • Taschenbuch
  • 292 Seiten
  • Erschienen 2019
  • Springer New York
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Notes on Set Theory
-
8,35 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Digital Signatures
  • Gebunden
  • 192 Seiten
  • Erschienen 2010
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Digital Signatures
Katz, Jonathan G.
2,16 € 112,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-57%
An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details (Synthese Library, 70, Band 70)
  • microfilm
  • 606 Seiten
  • Erschienen 1974
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
An Outline of Mathematical Logic: Fundamental...
Zawadowski, Waclaw
36,96 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
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
26,14 € 109,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-52%
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
6,22 € 12,84 €
Details
frontend/listing/product-box/box-product-slider.tpl
Introduction to Mathematical Logic (University Series in Undergraduate Mathematics)
  • textbook
  • 300 Seiten
  • Erschienen 1964
  • Van Nostrand Reinhold
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Mathematical Logic (University...
Mendelson, Elliott
11,37 €
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.
57,98 €
Details
frontend/listing/product-box/box-product-slider.tpl
-5%
Introduction to Number Theory
  • hardcover
  • 592 Seiten
  • Erschienen 1982
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Number Theory
Peter Shiu
81,02 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-41%
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
21,43 € 36,37 €
Details
frontend/listing/product-box/box-product-slider.tpl
-72%
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
29,82 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-15%
Foundations of Constructive Analysis
  • paperback
  • 402 Seiten
  • Erschienen 2012
  • Ishi Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Constructive Analysis
Beeson, Michael
24,86 € 29,20 €
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
3,53 €
Details
frontend/listing/product-box/box-product-slider.tpl
-66%
Sprache, Beweis und Logik. Band II: Anwendungen und Metatheorie
  • Kartoniert
  • 239 Seiten
  • Erschienen 2006
  • Brill | mentis
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Sprache, Beweis und Logik. Band II: Anwendungen...
Barwise, John und Etchemend...
19,27 € 56,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-58%
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
14,66 € 35,31 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen (XLeitfäden der Informatik)
  • paperback
  • 300 Seiten
  • Erschienen 2002
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematische Grundlagen der Informatik:...
Mundhenk, Martin
2,90 € 49,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Introduction to Abstract Algebra
  • paperback
  • 208 Seiten
  • Erschienen 1990
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Abstract Algebra
Whitelaw, Thomas A.
2,12 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
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.
14,81 € 189,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-49%
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.
6,27 € 12,25 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
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.
3,50 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Discrete Mathematics: Mathematical Reasoning and Proof with Puzzles, Patterns, and Games
  • hardcover
  • 691 Seiten
  • Erschienen 2005
  • John Wiley & Sons Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Discrete Mathematics: Mathematical Reasoning...
Crawley, J. Winston
10,80 € 285,00 €
Details