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.
Bestellen bei zvab
Neu bestellen bei lehmanns E-Book 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

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
-15%
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.
40,91 € 48,14 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
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.
25,99 € 99,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-46%
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.
28,65 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
26,11 €
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
14,01 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
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
6,70 € 85,55 €
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,38 € 62,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
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
6,73 € 57,23 €
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,16 € 137,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
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
6,15 € 38,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
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...
16,20 € 85,59 €
Details
frontend/listing/product-box/box-product-slider.tpl
-45%
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...
38,40 € 69,62 €
Details
frontend/listing/product-box/box-product-slider.tpl
Die vollständige Induktion
  • perfect
  • 183 Seiten
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Die vollständige Induktion
-
20,35 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
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
10,14 € 109,95 €
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
4,72 €
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.
24,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
-61%
Introduction to Number Theory
  • hardcover
  • 592 Seiten
  • Erschienen 1982
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Number Theory
Peter Shiu
33,67 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
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
6,09 € 35,31 €
Details
frontend/listing/product-box/box-product-slider.tpl
Elementare Logik: Prädikatenlogik der ersten Stufe
  • paperback
  • 305 Seiten
  • Erschienen 1997
  • Vandenhoeck & Ruprecht
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Elementare Logik: Prädikatenlogik der ersten Stufe
Oberschelp, Anneliese
11,18 €
Details
frontend/listing/product-box/box-product-slider.tpl
-56%
Grundzüge der modernen Analysis, Bd.4 (Logik und Grundlagen der Mathematik)
  • Hardcover
  • 443 Seiten
  • Erschienen 1977
  • Vieweg Verlagsgesellschaft
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Grundzüge der modernen Analysis, Bd.4 (Logik...
Dieudonne, Jean
21,92 € 49,95 €
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.
6,16 € 189,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-45%
Exploring Mathematics: Problem-Solving and Proof (Springer Undergraduate Mathematics Series)
  • Kartoniert
  • 320 Seiten
  • Erschienen 2018
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Exploring Mathematics: Problem-Solving and...
Grieser, Daniel
22,30 € 40,65 €
Details
frontend/listing/product-box/box-product-slider.tpl
-59%
Mathematical Logic
  • Kartoniert
  • 344 Seiten
  • Erschienen 2001
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Logic
Shoenfield, Joseph R.
24,37 € 59,79 €
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,45 € 57,23 €
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,68 € 242,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-53%
Combinatory Logic
  • Hardcover
  • 358 Seiten
  • Erschienen 2011
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Combinatory Logic
Bimbó, Katalin
85,85 € 184,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-68%
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...
29,54 € 90,94 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Theory of Knowledge
  • paperback
  • 228 Seiten
  • Erschienen 1990
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Theory of Knowledge
Lehrer, Keith
3,69 € 48,09 €
Details
frontend/listing/product-box/box-product-slider.tpl
-41%
Measure Theory (Graduate Texts in Mathematics)
  • hardcover
  • 222 Seiten
  • Erschienen 1994
  • Springer Berlin
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Measure Theory (Graduate Texts in Mathematics)
Doob, J. L.
40,92 € 69,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
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.
5,94 € 64,57 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Computation Theory and Logic
  • Hardcover
  • 460 Seiten
  • Erschienen 1987
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computation Theory and Logic
Börger, Egon
2,67 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-24%
Beweisen lernen Schritt für Schritt: für einen gelungenen Einstieg ins Mathestudium
  • Kartoniert
  • 344 Seiten
  • Erschienen 2020
  • Springer Spektrum
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Beweisen lernen Schritt für Schritt: für einen...
Treude, Jan-Hendrik und Jun...
34,42 € 44,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-46%
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
34,83 € 64,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
A Primer on Pseudorandom Generators (University Lecture Series, 55, Band 55)
  • paperback
  • 113 Seiten
  • Erschienen 2010
  • American Mathematical Society
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A Primer on Pseudorandom Generators (University...
Goldreich, Oded
10,40 € 43,87 €
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.
180,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-66%
Classical and Nonclassical Logics: An Introduction to the Mathematics of Propositions
  • hardcover
  • 518 Seiten
  • Erschienen 2005
  • Princeton University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Classical and Nonclassical Logics: An...
Schechter, Eric
40,80 € 118,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
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.
10,44 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-34%
Der Satz des Pythagoras in 365 Beweisen: Mathematische, kulturgeschichtliche und didaktische Überlegungen zum vielleicht berühmtesten Theorem der Mathematik
  • Kartoniert
  • 376 Seiten
  • Erschienen 2021
  • Springer Spektrum
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Der Satz des Pythagoras in 365 Beweisen:...
Gerwig, Mario
29,74 € 44,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
Einführung in die Logik: Kurs Philosophie-Propädeutica & Paradeigmata (UTB M: Uni-Taschenbücher)
  • paperback
  • 367 Seiten
  • Wilhelm Fink
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Einführung in die Logik: Kurs...
Thomas Keutner
2,22 €
Details
frontend/listing/product-box/box-product-slider.tpl
-80%
99 Variationen eines Beweises: Spielarten der Mathematik
  • Gebunden
  • 272 Seiten
  • Erschienen 2020
  • Carl Hanser Verlag GmbH & C...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
99 Variationen eines Beweises: Spielarten der...
Ording, Philip und Schuh, B...
5,01 € 25,00 €
Details