Many-Valued Logics von Leonard Bolc Buch | Hardcover 1992 | Springer ISBN: 9780387559261 CHF 97,30 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Modular Construction and Partial Order Semantics of Petri Nets von W Vogler Buch | Softcover 1992 | Springer ISBN: 9780387557670 CHF 65,35 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Logic Programming and Automated Reasoning von Frank Pfenning; Lpar (Conference) Buch | Softcover 1994 | Springer ISBN: 9780387582160 CHF 77,85 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Logical Foundations of Computer Science Third International Symposium, Lfcs '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings von Anil Nerode; Iu V Matiiasevich Buch | Softcover 1994 | Springer ISBN: 9780387581408 CHF 93,15 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Logic Colloquium Symposium on Logic Held at Boston, 1972-73 Buch | Hardcover 1975 | Springer ISBN: 9780387071558 CHF 41,65 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Ivth Higher Order Workshop, Banff 1990 Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada, 10-14 September 1990 Buch | Hardcover 1991 | Springer ISBN: 9780387196602 CHF 83,40 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Graph Grammars and Their Application to Computer Science Buch | Softcover 1991 | Springer ISBN: 9780387544786 CHF 86,25 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
A Mathematical Introduction to Logic von Herbert B. Enderton Buch | Hardcover 2001 | Academic Press Inc ISBN: 9780122384523 CHF 148,35 (inkl. MwSt) Titel erscheint in neuer Auflage
Confluent String Rewriting von M Jantzen; Matthias Jantzen Buch | Hardcover 1988 | Springer ISBN: 9780387137155 CHF 94,55 (inkl. MwSt) Keine Verlagsinformationen verfügbar
Algorithms in Invariant Theory von Bernd Sturmfels Buch | Softcover 1994 | Springer ISBN: 9780387824451 CHF 89,95 (inkl. MwSt) Keine Verlagsinformationen verfügbar
Advances in Database Technology - Edbt '94 4th International Conference on Extending Database Technology, Cambridge, United Kingdom, March 28 - 31, 1994. Proceedings von Matthias Jarke; Jr. Janis Bubenko; Professor Keith.. Buch | Softcover 1994 | Springer ISBN: 9780387578187 CHF 86,20 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 Part 2: Computation and Proof Theory von M M Richter; W Oberschelp; E Borger Buch | Hardcover 1984 | Springer ISBN: 9780387139012 CHF 83,40 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
5th Conference on Automated Deduction Buch | Hardcover 1980 | Springer ISBN: 9780387100098 CHF 73,65 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
8th International Conference on Automated Deduction Oxford, England, July 27- August 1, 1986. Proceedings Buch | Hardcover 1986 | Springer ISBN: 9780387167800 CHF 104,25 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Automated Deduction - Cade-11 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings Buch | Softcover 1992 | Springer ISBN: 9780387556024 CHF 169,95 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
3rd Refinement Workshop Proceedings of the 3rd Refinement Workshop (Organised by BCS-Facs, and Sponsored by IBM UK Laboratories, Hurslay Park and the Programming Research.. Buch | Hardcover 1991 | Springer ISBN: 9780387196244 CHF 62,50 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
4th Refinement Workshop Proceedings of the 4th Refinement Workshop, Organised by BCS-Facs, 9-11 January 1991, Cambridge Buch | Hardcover 1991 | Springer ISBN: 9780387196572 CHF 83,40 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Semirings, Automata, Languages von Werner Kuich Buch | Hardcover 1985 | Springer ISBN: 9780387137162 CHF 159,95 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods.. von Wolfgang Bibel; P.H. Schmitt Buch 1998 | Kluwer Academic Publishers ISBN: 9780792351320 CHF 449,35 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Introduction to Axiomatic Set Theory - ISBN-Doppelvergabe, Siehe 90683-5 - von Gaisi Takeuti; G Takeuti; W M Zaring Buch | Softcover 1971 | Springer ISBN: 9780387900247 CHF 41,65 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Algorithms and Complexity Second Italian Conference, Ciac '94, Rome, Italy, February 23 - 25, 1994. Proceedings von M Bonuccelli; Pierluigi Crescenzi; Rossella.. Buch | Softcover 1994 | Springer ISBN: 9780387578118 CHF 48,70 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Eurocal '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985... Buch | Hardcover 1985 | Springer ISBN: 9780387159843 CHF 137,70 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Foundations of Constructive Mathematics Metamathematical Studies von Michael J Beeson Buch | Hardcover 1985 | Springer ISBN: 9780387121734 CHF 249,95 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Zermelo's Axiom of Choice Its Origins, Development, and Influence von G.H. Moore Buch | Hardcover 1982 | Springer-Verlag New York Inc. ISBN: 9780387906706 CHF 119,75 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Mathematical Proofs A Transition to Advanced Mathematics: International Edition von Gary Chartrand; Albert D. Polimeni; Ping Zhang Buch | Softcover 2007 | Pearson ISBN: 9780321526731 CHF 97,25 (inkl. MwSt) Titel erscheint in neuer Auflage
The Nuts and Bolts of Proofs An Introduction to Mathematical Proofs von Antonella Cupillari Buch | Softcover 2012 | Academic Press Inc ISBN: 9780123822178 CHF 64,55 (inkl. MwSt) Titel erscheint in neuer Auflage
Cabal Seminar 76-77 Proceedings. Caltech-UCLA Logic Seminar 1976-77 Buch | Hardcover 1978 | Springer ISBN: 9780387090863 CHF 44,45 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
How to Pass Numerical Reasoning Tests A Step-by-Step Guide to Learning Key Numeracy Skills von Heidi Smith Buch | Softcover 2011 | Kogan Page Ltd ISBN: 9780749461720 CHF 17,40 (inkl. MwSt) Titel erscheint in neuer Auflage
Extensional Gvdel Functional Interpretation A Consistensy Proof of Classical Analysis von Horst Luckhardt Buch | Hardcover 1973 | Springer ISBN: 9780387061191 CHF 49,95 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Sudoku 400 Classic Puzzles Volume 4 4 Levels - Easy to Expert von Tat Puzzles Buch | Softcover 2023 | Tried and Trusted Indie Publishing ISBN: 9781922695550 CHF 27,90 (inkl. MwSt) Titel nicht im Sortiment
Propositional Logic Deduction and Algorithms von Hans Kleine Büning; Theodor Lettmann Buch | Hardcover 1999 | Cambridge University Press ISBN: 9780521630177 CHF 148,35 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Problem Solving-Across the Disciplines von R.R. Kadesch Buch | Softcover 1997 | Pearson ISBN: 9780136541875 CHF 68,70 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
The Semantic Foundations of Logic von Richard L. Epstein Buch | Hardcover 1995 | Oxford University Press Inc ISBN: 9780195087611 CHF 65,45 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Logic for Computer Science von Reeves Buch | Softcover 1990 | Addison Wesley Publishing Company ISBN: 9780201416435 CHF 46,75 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Parts of Classes von David Lewis Buch | Hardcover 1991 | Blackwell Publishers ISBN: 9780631176558 CHF 61,95 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Logic Programming and PROLOG von Ulf Nilsson; J. Maluszynski Buch | Hardcover 1995 | John Wiley & Sons Ltd ISBN: 9780471959960 CHF 71,90 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Mathematical Thinking Problem Solving and Proofs von Douglas West; John D'Anglo Buch | Hardcover 2000 | Pearson Education (US) ISBN: 9780132633932 CHF 116,30 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Mathematical Logic and Computability von H. Jerome Keisler; Joel Robbin Buch | Hardcover 1994 | McGraw-Hill Inc.,US ISBN: 9780070339392 CHF 92,50 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Epistemic Logic for AI and Computer Science von J.-J. Ch. Meyer; W. van der Hoek Buch | Hardcover 1995 | Cambridge University Press ISBN: 9780521460149 CHF 113,45 (inkl. MwSt) Titel erscheint in neuer Auflage
Design and Analysis of Parallel Algorithms von S. G. Akl Buch | Softcover 1989 | Prentice-Hall ISBN: 9780132000734 CHF 52,25 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Building Models by Games von Wilfrid Hodges Buch | Softcover 1985 | Cambridge University Press ISBN: 9780521317160 CHF 20,85 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
The Phenomenon of Commonsense Reasoning Nonmonotonocity, Action and Information von Dimitrios Thanassas Buch | Hardcover 1992 | Ellis Horwood Ltd , Publisher ISBN: 9780136636342 CHF 103,25 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Performance Modelling with Deterministic and Stochastic Petri Nets von Christophe Lindemann Media-Kombination 1998 | John Wiley & Sons Ltd ISBN: 9780471976462 CHF 189,20 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Predicative Arithmetic von Edward Nelson Buch | Softcover 1986 | Princeton University Press ISBN: 9780691084558 CHF 43,60 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Computational Category Theory von D. E. Rydeheard; R.M. Burstall Buch | Hardcover 1988 | Prentice Hall ISBN: 9780131627369 CHF 104,75 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Introduction to Elementary Mathematical Logic von A. A. Stolyar Buch | Hardcover 1971 | MIT Press ISBN: 9780262190541 CHF 17,35 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Introduction to Mathematical Logic, Third Edition von Elliott Mendelson Buch | Hardcover 1987 | CRC Press ISBN: 9780412069710 CHF 125,15 (inkl. MwSt) Titel erscheint in neuer Auflage
Studies in Algebraic Logic von Aubert Daigneault Buch | Hardcover 1974 | Mathematical Association of.. ISBN: 9780883851098 CHF 37,85 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
Fuzzy Sets, Uncertainty and Information von George J. Kur; Tina A. Fogler Buch | Softcover 1989 | Prentice Hall International.. ISBN: 9780133456387 CHF 45,30 (inkl. MwSt) Titel erscheint in neuer Auflage
Algebraic Recursion Theory von L.L. Ivanov; J. L. Bell Buch | Hardcover 1986 | Ellis Horwood Ltd , Publisher ISBN: 9780130269072 CHF 149,95 (inkl. MwSt) Titel ist leider vergriffen; keine Neuauflage
