Um Studibuch in vollem Umfang nutzen zu können, empfehlen wir Dir Javascript in Deinem Browser zu aktiveren.

Nachhaltiges Unternehmen

Faire Preise

Schneller und kostenloser Versand ab 14,90 € Bestellwert

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

Cambridge University Press

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 bestellen bei

E-Book bestellen bei

Handgeprüfte Gebrauchtware

Schnelle Lieferung

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

-64%

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)

hardcover
556 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Applied Proof Theory: Proof Interpretations and...

Kohlenbach, Ulrich

50,70 € 139,09 €

-30%

Complexity of Proofs and Their Transformations in Axiomatic Theories (Translations of Mathematical Monographs)

hardcover
153 Seiten
Erschienen 1993
American Mathematical Society

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Complexity of Proofs and Their Transformations...

Orevkov, V. P.

62,94 € 89,88 €

Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science)

paperback
320 Seiten
Erschienen 1993
Prentice-Hall

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Logic for Computer Science...

Ben-Ari, Mordechai

38,00 €

-29%

Number Theory: A Lively Introduction with Proofs, Applications, and Stories

hardcover
784 Seiten
Erschienen 2010
Wiley

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Number Theory: A Lively Introduction with...

Pommersheim, James E.

167,27 € 235,00 €

Number Theory Arising from Finite Fields: Analytic and Probabilistic Theory (LECTURE NOTES IN PURE AND APPLIED MATHEMATICS)

hardcover
404 Seiten
Erschienen 2001
CRC Press Inc

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Number Theory Arising from Finite Fields:...

Knopfmacher, John

234,42 €

-82%

The Elementary Theory of Groups: A Guide through the Proofs of the Tarski Conjectures (De Gruyter Expositions in Mathematics, 60)

Gebunden
324 Seiten
Erschienen 2014
De Gruyter

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

The Elementary Theory of Groups: A Guide...

Fine, Benjamin und Gaglione...

35,41 € 199,95 €

-16%

Logic of Mathematics: A Modern Course of Classical Logic (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

hardcover
272 Seiten
Erschienen 1997
Wiley-Interscience

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Logic of Mathematics: A Modern Course of...

Adamowicz, Zofia

136,91 € 163,36 €

-58%

Mathematical Proofs: A Transition to Advanced Mathematics: Pearson New International Edition: A Transition to Advanced Mathematics

Taschenbuch
424 Seiten
Erschienen 2013
Pearson

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Proofs: A Transition to Advanced...

Chartrand, Gary;Polimeni, A...

34,15 € 81,50 €

Program Verification (International Computer Science Series)

hardcover
324 Seiten
Erschienen 1992
Addison Wesley

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Program Verification (International Computer...

Francez, Nissim

5,69 €

-68%

Frege's Theorem

hardcover
322 Seiten
Erschienen 2011
OUP Oxford

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Frege's Theorem

Heck, Richard G.

32,91 € 103,90 €

-15%

Wahrheit & Beweisbarkeit: Kompendium zu Gödels Werk

hardcover
448 Seiten
öbv, Firmensitz Wien

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Wahrheit & Beweisbarkeit: Kompendium zu Gödels...

Gödel, Kurt

72,46 € 85,50 €

-38%

Dense Sphere Packings: A Blueprint for Formal Proofs (London Mathematical Society Lecture Note Series, 400)

paperback
286 Seiten
Erschienen 2012
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Dense Sphere Packings: A Blueprint for Formal...

Hales, Thomas

43,43 € 69,94 €

Advances in Logic: The North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas (Contemporary Mathematics, 425, Band 425)

paperback
150 Seiten
Erschienen 2007
American Mathematical Society

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Advances in Logic: The North Texas Logic...

Jackson, Steve

124,49 €

-24%

Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, 6, Band 6)

paperback
292 Seiten
Erschienen 2009
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Formal Methods in Artificial Intelligence...

Ramsay, Allan

38,08 € 50,19 €

-57%

Das BUCH der Beweise

Hardcover
Erschienen 2014
Springer Spektrum

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Das BUCH der Beweise

Aigner, Martin;Ziegler, Gün...

21,40 € 49,99 €

Galois Theories (Cambridge Studies in Advanced Mathematics)

hardcover
356 Seiten
Erschienen 2001
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Galois Theories (Cambridge Studies in Advanced...

Borceux, Francis

99,98 €

-98%

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

1,13 € 57,23 €

-19%

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

paperback
176 Seiten
Erschienen 2023
Apress

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Introduction to Dependent Types with Idris:...

Sitnikovski, Boro

28,35 € 34,99 €

-17%

Characters and Blocks of Finite Groups (London mathematical society, lecture note series, vol.250)

paperback
287 Seiten
Erschienen 2008
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Characters and Blocks of Finite Groups (London...

Navarro

95,23 € 114,89 €

-15%

Algorithmic Algebraic Number Theory (Encyclopedia of Mathematics & Its Applications)

paperback
516 Seiten
Erschienen 2010
Cambridge University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Algorithmic Algebraic Number Theory...

Pohst, M.

90,70 € 106,21 €

-74%

Model Theory (STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS)

hardcover
650 Seiten
Erschienen 1990
North-Holland

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Model Theory (STUDIES IN LOGIC AND THE...

Keisler, H. Jerome

51,98 € 196,88 €

Iteration Theories: The Equational Logic of Iterative Processes (Monographs in Theoretical Computer Science. An EATCS Series)

hardcover
645 Seiten
Erschienen 1993
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Iteration Theories: The Equational Logic of...

Bloom, Stephen L.

50,66 €

-36%

Mathematical Foundations of Computer Science 2001: 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 ... Notes in Computer Science, 2136, Band 2136)

paperback
740 Seiten
Erschienen 2008
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Foundations of Computer Science...

Pultr, Ales

72,99 € 114,48 €

Introduction to Logic 3/E (Galaxy Book)

paperback
252 Seiten
Erschienen 1997
Oxford University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Introduction to Logic 3/E (Galaxy Book)

Tarski, Alfred

7,44 €

-4%

Grundlagen der strengen Logik

paperback
230 Seiten
Königshausen u. Neumann

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Grundlagen der strengen Logik

Brüning, Walther

18,78 € 19,50 €

-25%

Basiswissen Zahlentheorie: Eine Einführung in Zahlen und Zahlbereiche (Mathematik für das Lehramt)

Kartoniert
448 Seiten
Erschienen 2014
Springer Spektrum

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Basiswissen Zahlentheorie: Eine Einführung in...

Schmieder, Gerald und Reiss...

33,55 € 44,99 €

-90%

Model Theory (= Omega-Bibliography of Mathematical Logic - Perspectives in Mathematical Logic - Volume III)

hardcover
662 Seiten
Erschienen 1987
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Model Theory (= Omega-Bibliography of...

Lenski, Wolfgang

8,57 € 85,59 €

-38%

People, Problems, and Proofs: Essays from Gödel's Lost Letter: 2010

Gebunden
333 Seiten
Erschienen 2014
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

People, Problems, and Proofs: Essays from...

Lipton, Richard J. und Rega...

29,81 € 48,14 €

Closure Spaces and Logic (Mathematics and Its Applications, 369, Band 369)

hardcover
248 Seiten
Erschienen 1996
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Closure Spaces and Logic (Mathematics and Its...

Martin, N.M.

75,80 €

-67%

Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen Eine Einführung

Kartoniert
340 Seiten
Erschienen 2015
Springer Vieweg

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematische Grundlagen der Informatik:...

Mundhenk, Martin und Meinel...

14,97 € 44,99 €

-34%

Metamathematics: Foundations & Physicalization

hardcover
446 Seiten
Erschienen 2022
Wolfram Media Inc

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Metamathematics: Foundations & Physicalization

Wolfram, Stephen

31,85 € 48,10 €

-70%

The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0 (Csli Lecture Notes)

paperback
336 Seiten
Erschienen 1993
CTR FOR STUDY OF LANG & INFO

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

The Language of First-Order Logic, Including...

Etchemendy, John

11,76 € 39,00 €

Prädikatenlogik

hardcover
255 Seiten
-

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Prädikatenlogik

-

5,08 €

-21%

Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287, Band 1287)

paperback
388 Seiten
Erschienen 2008
Springer Berlin Heidelberg

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Formal Hardware Verification: Methods and...

Kropf, Thomas

45,03 € 57,23 €

Das ist o.B.d.A. trivial!

paperback
98 Seiten
Erschienen 1997
Vieweg

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Das ist o.B.d.A. trivial!

Beutelspacher, Albrecht

13,64 €

-52%

Reading Frege's Grundgesetze

paperback
314 Seiten
Erschienen 2015
Oxford University Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Reading Frege's Grundgesetze

Heck Jr., Richard G.

21,69 € 44,83 €

Number theory II. Algebraic number theory

hardcover
269 Seiten
Erschienen 1992
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Number theory II. Algebraic number theory

Koch, H.

145,67 €

-31%

Mathematical Foundations of Computer Science 2005: 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings (Lecture Notes in Computer Science, 3618, Band 3618)

paperback
830 Seiten
Erschienen 2005
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Mathematical Foundations of Computer Science...

Jedrzejowicz, Joanna

73,92 € 106,99 €

-73%

Frege's Conception of Logic

hardcover
208 Seiten
Erschienen 2012
ACADEMIC

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Frege's Conception of Logic

Blanchette

40,04 € 149,60 €

-53%

Abel's Proof: An Essay on the Sources and Meaning of Mathematical Unsolvability

hardcover
213 Seiten
Erschienen 2003
MIT Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Abel's Proof: An Essay on the Sources and...

Pesic, Peter

12,56 € 26,70 €