|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Computational Logic Softcover Repri Edition (NATO Asi Subseries F:) | Berger, Ulrich | Paperback | 3642636705 / 9783642636707 | 10/2012 | $161.49 |
| | Computational Logic (NATO Asi Subseries F:) | Berger, Ulrich | Hardcover | 3540645896 / 9783540645894 | 04/1999 | $161.49 |
| | Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedi 2000 Edition (Lecture Notes in Computer Science) | Clote, Peter G. | Paperback | 3540678956 / 9783540678953 | 08/2000 | $104.49 |
| | Logic and Algebra of Specification Softcover Repri Edition (NATO Asi Subseries F:) | Bauer, Friedrich L. | Paperback | 3642634486 / 9783642634482 | 04/2014 | $161.49 |
| | Logic and Algebra of Specification 1993 Edition (NATO Asi Subseries F:) | Bauer, Friedrich L. | Hardcover | 3540558136 / 9783540558132 | 07/1993 | $161.49 |
| | Logic of Computation Softcover Repri Edition (NATO Asi Subseries F:) | Schwichtenberg, Helmut | Paperback | 3642638325 / 9783642638329 | 10/2012 | $52.24 |
| | Logic of Computation (Lecture Notes in Computer Science) | Schwichtenberg, Helmut | Hardcover | 3540629637 / 9783540629634 | 08/1997 | $94.05 |
| | Proof and Computation Softcover Repri Edition (NATO Asi Subseries F:) | Schwichtenberg, Helmut | Paperback | 3642793630 / 9783642793639 | 12/2011 | $104.49 |
| | Proof and System-Reliability (NATO Science) | Steinbruggen, Ralf | Hardcover | 1402006071 / 9781402006074 | 05/2002 | $104.49 |
| | Proof and System-Reliability Softcover Repri Edition (NATO Science Series II:) | Schwichtenberg, Helmut | Paperback | 140200608X / 9781402006081 | 05/2002 | $52.24 |
| | Proofs and Computations (Perspectives in Logic) | Schwichtenberg, Helmut | Hardcover | 0521517699 / 9780521517690 | 01/2012 | $87.39 |
| | Proofs and Computations (Perspectives in Logic) | Schwichtenberg, Helmut | Open Ebook | 1139031902 / 9781139031905 | 01/2012 | $140.25 |
|
|
|