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

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

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

Ben-Ari, Mordechai

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

33,03 €

Lieferzeit 1-3 Werktage

Kurzinformation

Sprache:

Englisch

ISBN:

9780135641392

Verlag:

Seitenzahl:

320

Auflage:

-

Erschienen:

1993-01-01

Mit diesem Kauf sparst Du 2,06 kg CO₂

Mehr Informationen zum Zustand

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.

Gut 33,03 €

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

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

33,03 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten

Zahlungsarten

Beschreibung

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

Covers propositional calculus, predicate calculus, resolution and logic programming, temporal logic, and formalization of programs

Produktdetails

Einband:

paperback

Seitenzahl:

320

Erschienen:

1993-01-01

Sprache:

Englisch

EAN:

9780135641392

ISBN:

9780135641392

Verlag:

Gewicht:

480 g

Auflage:

-

Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Ben-Ari, Mordechai

Entdecke mehr vom Verlag

Gut

33,03 €

Entdecke mehr zum Thema

-29%

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

115,99 € 163,36 €

First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)

hardcover
257 Seiten
Erschienen 1990
Springer Verlag

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

First-Order Logic and Automated Theorem Proving...

Fitting, Melvin

77,37 €

-26%

Mathematische Logik mit Informatik-Anwendungen (Heidelberger Taschenbücher) (German Edition) (Heidelberger Taschenbücher, 187, Band 187)

paperback
348 Seiten
Erschienen 1977
Springer

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

Mathematische Logik mit Informatik-Anwendungen...

Bergmann, E.

37,11 € 49,95 €

-59%

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations

Hardcover
534 Seiten
Erschienen 1993
OUP Oxford

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

Handbook of Logic in Artificial Intelligence...

-

205,73 € 496,50 €

Computability and Logic

paperback
320 Seiten
Erschienen 1989
Cambridge University Press

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

Computability and Logic

Jeffrey, Richard C.

11,43 €

-57%

Logic and Computer Design Fundamentals (Prentice Hall international editions)

paperback
512 Seiten
Erschienen 2000
Pearson Education (US)

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

Logic and Computer Design Fundamentals...

Kime, Charles R.

17,55 € 41,00 €

A Formalization of Set Theory Without Variables (COLLOQUIUM PUBLICATIONS (AMER MATHEMATICAL SOC))

paperback
318 Seiten
Erschienen 1987
American Mathematical Society

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

A Formalization of Set Theory Without Variables...

Tarski, Alfred

59,81 €

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

108,22 €

-74%

Mathematische Logik - Kurz Gefasst: 2. Auflage

paperback
228 Seiten
Erschienen 2011
Spektrum Akademischer Verlag

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

Mathematische Logik - Kurz Gefasst: 2. Auflage

Tuschik, Hans-Peter

7,40 € 27,99 €

-34%

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

33,10 € 50,19 €

-26%

Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik

Kartoniert
441 Seiten
Erschienen 2018
Springer Spektrum

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

Grenzen der Mathematik: Eine Reise durch die...

Hoffmann, Dirk W.

29,76 € 39,99 €

Semantics and Logics of Computation (Publications of the Newton Institute, 14)

hardcover
376 Seiten
Erschienen 1997
Cambridge University Press

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

Semantics and Logics of Computation...

Dybjer, P.

32,32 €

-30%

Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik

Taschenbuch
446 Seiten
Erschienen 2020
Springer Spektrum

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

Grenzen der Mathematik: Eine Reise durch die...

W. Hoffmann, Dirk:

20,87 € 29,99 €

First-order Logic (Dover Books on Mathematics)

paperback
176 Seiten
Erschienen 1995
Dover Publications Inc.

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

First-order Logic (Dover Books on Mathematics)

Smullyan, Raymond M.

11,08 €

-28%

Logik für Informatiker (German Edition)

Hardcover
184 Seiten
Erschienen 2005
Vieweg+Teubner Verlag

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

Logik für Informatiker (German Edition)

Dassow, Jürgen

25,08 € 34,99 €

-74%

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

10,23 € 39,00 €

What Is a Logical System? (STUDIES IN LOGIC AND COMPUTATION, Band 4)

hardcover
468 Seiten
Erschienen 1995
OUP Oxford

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

What Is a Logical System? (STUDIES IN LOGIC AND...

Gabbay, D. M.

55,22 €

-53%

Mathematische Logik (Mathematik Kompakt)

paperback
116 Seiten
Erschienen 2010
Birkhäuser

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

Mathematische Logik (Mathematik Kompakt)

Ziegler, Martin

8,80 € 18,90 €

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.

63,64 €

Foundations of Equational Logic Programming (Lecture Notes in Computer Science)

paperback
Erschienen 1990
Springer Verlag

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

Foundations of Equational Logic Programming...

Holldobler, Steffen

213,62 €

The Logic Programming Paradigm: A 25-Year Perspective (Artificial Intelligence)

hardcover
472 Seiten
Erschienen 1999
Springer

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

The Logic Programming Paradigm: A 25-Year...

Truszczynski, Mirek

43,75 €

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

6,46 €

-84%

Prentice-Hall software series: Elements of the theory of computation

hardcover
466 Seiten
Erschienen 1981
Pearson

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

Prentice-Hall software series: Elements of the...

Harry R. Lewis

4,51 € 28,84 €

Fibring Logics (Oxford Logic Guides, 38, Band 38)

hardcover
492 Seiten
Erschienen 1998
OUP Oxford

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

Fibring Logics (Oxford Logic Guides, 38, Band 38)

Gabbay, Dov M.

105,81 €

Einführung in die Logik und Mathematik für Linguisten I. Logik und Mengenlehre.

perfect
-

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

Einführung in die Logik und Mathematik für...

-

55,76 €

-40%

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

64,26 € 106,99 €

Computing in Horn Clause Theories (Monographs in Theoretical Computer Science. An EATCS Series, Band 16)

hardcover
333 Seiten
Erschienen 1988
Springer

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

Computing in Horn Clause Theories (Monographs...

Padawitz, Peter

27,83 €

-30%

Logik-Skript 1: Wahrheit und logisches Schließen (Klostermann RoteReihe, Band 99)

Kartoniert
170 Seiten
Erschienen 2020
Klostermann, Vittorio

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

Logik-Skript 1: Wahrheit und logisches...

Brendel, Elke

13,07 € 18,80 €

-45%

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

63,44 € 114,48 €

Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)

paperback
154 Seiten
Erschienen 1988
FT Prentice Hall

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

Automated Theorem-proving in Non-classical...

McRobbie, Michael A.

42,59 €

-6%

Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395, Band 395)

paperback
184 Seiten
Erschienen 2008
Springer

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

Computational Aspects of an Order-Sorted Logic...

Schmidt-Schau??, Manfred

37,75 € 40,06 €

-96%

Fundamentals of Logic Design

hardcover
687 Seiten
Erschienen 2003
Brooks/Cole

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

Fundamentals of Logic Design

Roth, Charles H., Jr.

13,01 € 348,77 €

Principles of Programming Languages (Prentice Hall International Series in Computing Science)

hardcover
280 Seiten
Erschienen 1981
Pearson Education Limited

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

Principles of Programming Languages (Prentice...

Tennent, R. D.

7,25 €

-22%

MODELS PEANO ARITH OLG 15 C (Oxford Logic Guides, Band 15)

hardcover
304 Seiten
Erschienen 1991
Oxford University Press (UK)

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

MODELS PEANO ARITH OLG 15 C (Oxford Logic...

Kaye, Richard

187,50 € 241,53 €

-37%

Logik und Algebra: Eine Praxisbezogene Einführung Für Informatiker Und Wirtschaftsinformatiker (Wirtschaftsinformatik kompakt)

Kartoniert
148 Seiten
Erschienen 2012
De Gruyter Oldenbourg

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

Logik und Algebra: Eine Praxisbezogene...

Staab, Frank

13,81 € 21,95 €

-52%

Mathematische Grundlagen der Informatik: Mathematisches Denken und Beweisen. Eine Einführung (XLeitfäden der Informatik) (German Edition)

paperback
336 Seiten
Erschienen 2011
Vieweg+Teubner Verlag

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

Mathematische Grundlagen der Informatik:...

Meinel, Christoph

15,91 € 32,99 €

-77%

Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion

Hardcover
Erschienen 2013
Springer Vieweg

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

Mathematische Grundlagen für die Informatik:...

Witt, Kurt-Ulrich

8,86 € 37,99 €

-32%

Contemporary Research in Philosophical Logic and Linguistic Semantics (The Western Ontario Series in Philosophy of Science, Band 4)

paperback
346 Seiten
Erschienen 2008
Springer

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

Contemporary Research in Philosophical Logic...

Harper, W.L.

116,69 € 171,72 €

-75%

Cylindric-like Algebras and Algebraic Logic (Bolyai Society Mathematical Studies, Band 22)

paperback
480 Seiten
Erschienen 2015
Springer

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

Cylindric-like Algebras and Algebraic Logic...

Németi, István

26,49 € 106,99 €