| Book Title:
|
Recursive Macroeconomic Theory (Hardcover) |
| Author: |
Lars Ljungqvist |
| Publisher: |
The MIT Press; 1st edition (August 21, 2000) |
| ISBN: |
262194511 |
| Book Title:
|
Possibilistic Data Analysis for Operations Research (Studies in Fuzziness and Soft Computing, Vol. 29) (Hardcover) |
| Author: |
Hideo Tanaka |
| Publisher: |
Springer-Verlag Telos (May 15, 1999) |
| ISBN: |
3790811831 |
| Book Title:
|
The Theory of Gambling and Statistical Logic, Revised Edition (Paperback) |
| Author: |
Richard A. Epstein |
| Publisher: |
Academic Press; Revised edition (March 10, 1995) |
| ISBN: |
012240761X |
| Book Title:
|
Mathematics Behind Fuzzy Logic (Advances in Soft Computing) (Paperback) |
| Author: |
Esko Turunen |
| Publisher: |
Springer-Verlag Telos (September, 1999) |
| ISBN: |
3790812218 |
| Book Title:
|
The Logic of Logistics : Theory, Algorithms, and Applications for Logistics Management (Springer Series in Operations Research) (Hardcover) |
| Author: |
Julien Bramel |
| Publisher: |
Springer (April, 1997) |
| ISBN: |
387949216 |
| Book Title:
|
Labelled Deductive Systems : Volume 1 (Oxford Logic Guides) (Hardcover) |
| Author: |
Dov M. Gabbay |
| Publisher: |
Oxford University Press (November 14, 1996) |
| ISBN: |
198538332 |
| Book Title:
|
Recursion Theory for Metamathematics (Oxford Logic Guides) (Hardcover) |
| Author: |
Raymond M. Smullyan |
| Publisher: |
Oxford University Press (January 28, 1993) |
| ISBN: |
019508232X |
| Book Title:
|
Twenty-Five Years of Constructive Type Theory : Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides) (Hardcover) |
| Author: |
Giovanni Sambin |
| Publisher: |
Oxford University Press, USA (December 10, 1998) |
| ISBN: |
198501277 |
| Book Title:
|
The Advent of the Algorithm: The Idea that Rules the World (Hardcover) |
| Author: |
David Berlinski |
| Publisher: |
Harcourt; 1st edition (March 31, 2000) |
| ISBN: |
151003386 |
| Book Title:
|
An Introduction to Kolmogorov Complexity and Its Applications (Texts in Computer Science) (Hardcover) |
| Author: |
Ming Li |
| Publisher: |
Springer; 2 edition (February 27, 1997) |
| ISBN: |
387948686 |
| Book Title:
|
Discrete Mathematics for Computer Scientists (2nd Edition) (Paperback) |
| Author: |
John Truss |
| Publisher: |
Addison Wesley; 2 edition (October 7, 1998) |
| ISBN: |
201360616 |
| Book Title:
|
Evolutionary Algorithms : The Role of Mutation and Recombination (Natural Computing Series) (Hardcover) |
| Author: |
William M. Spears |
| Publisher: |
Springer; 1 edition (September 20, 2004) |
| ISBN: |
3540669507 |
| Book Title:
|
The Automation of Reasoning : An Experimenter's Notebook with Otter Tutorial (Hardcover) |
| Author: |
Larry Wos |
| Publisher: |
Academic Press; Book&Disk edition (July 29, 1996) |
| ISBN: |
127634207 |
| Book Title:
|
Structural Complexity II (E a T C S Monographs on Theoretical Computer Science) (Hardcover) |
| Author: |
Jose Luis Balcazar |
| Publisher: |
Springer-Verlag (June, 1990) |
| ISBN: |
387520791 |
| Book Title:
|
10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings (Lecture Notes in Computer Science) (Paperback) |
| Author: |
M. E. Stickel |
| Publisher: |
Springer (August, 1990) |
| ISBN: |
387528857 |
| Book Title:
|
Logic Programming and Automated Reasoning: International Conference Lpar '92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings (Lecture Notes in Artificial Intelligence) (Paperback) |
| Author: |
Russia) Lpar (1992 Saint Petersburg |
| Publisher: |
Springer (July, 1992) |
| ISBN: |
038755727X |
| Book Title:
|
Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa (Studies in Fuzziness and Soft Computing, Vol. 24) (Hardcover) |
| Author: |
Helena Rasiowa |
| Publisher: |
Springer-Verlag Telos (May 15, 1999) |
| ISBN: |
3790811645 |
| Book Title:
|
An Introduction to Fuzzy Logic for Practical Applications (Paperback) |
| Author: |
Kazuo Tanaka |
| Publisher: |
Springer; 1 edition (November 15, 1996) |
| ISBN: |
387948074 |
| Book Title:
|
The Computational Logic Handbook (Perspectives in Computing, Vol 23) (Hardcover) |
| Author: |
Robert S. Boyer |
| Publisher: |
Academic Press (November, 1988) |
| ISBN: |
121229521 |
| Book Title:
|
Fuzzy Logic: Intelligence, Control, and Information (Hardcover) |
| Author: |
John Yen |
| Publisher: |
Prentice Hall; 1st edition (November 23, 1998) |
| ISBN: |
135258170 |
| Book Title:
|
Logic Programming (Lecture Notes in Artificial Intelligence) (Paperback) |
| Author: |
A. Voronkov |
| Publisher: |
Springer (May, 1992) |
| ISBN: |
387554602 |
| Book Title:
|
Fuzzy Sets and Fuzzy Logic: Theory and Applications [FACSIMILE] (Paperback) |
| Author: |
George J. Klir |
| Publisher: |
Prentice Hall PTR; 1st edition (May 11, 1995) |
| ISBN: |
131011715 |
| Book Title:
|
Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Distinguished Dissertations) (Hardcover) |
| Author: |
Guy McCusker |
| Publisher: |
Springer; 1 edition (January 15, 1999) |
| ISBN: |
3540762558 |
| Book Title:
|
Rough Sets in Knowledge Discovery I: Methodology and Applications (Studies in Fuzziness and Soft Computing, 18) (Hardcover) |
| Author: |
Lech Polkowski |
| Publisher: |
Springer-Verlag Telos (October 15, 1998) |
| ISBN: |
379081119X |
| Book Title:
|
Modeling Nature: Cellular Automata Simulations With Mathematica (Paperback) |
| Author: |
Richard J. Gaylord |
| Publisher: |
Springer; Bk&Disk edition (June, 1996) |
| ISBN: |
387946209 |
| Book Title:
|
The Limits of Mathematics: A Course on Information Theory and Limits of Formal Reasoning (Springer Series in Discrete Mathematics and Theoretical Computer Science) (Hardcover) |
| Author: |
Gregory J. Chaitin |
| Publisher: |
Springer-Verlag Telos (November, 1997) |
| ISBN: |
981308359X |
| Book Title:
|
Automated Theorem Proving: Theory and Practice (Hardcover) |
| Author: |
Monroe Newborn |
| Publisher: |
Springer; Bk&CD-Rom edition (January, 2001) |
| ISBN: |
387950753 |
| Book Title:
|
Concurrency and Nets: Advances in Petri Nets (Hardcover) |
| Author: |
K. Voss |
| Publisher: |
Springer (August, 1987) |
| ISBN: |
387180575 |
| Book Title:
|
Varieties of Formal Languages (Foundations of Computer Science) (Hardcover) |
| Author: |
J.E. Pin |
| Publisher: |
Springer; 1 edition (May 31, 1986) |
| ISBN: |
306422948 |
| Book Title:
|
Proof in Vdm: Case Studies (Formal Approaches to Computing and Information Technology) (Paperback) |
| Author: |
J. C. Bicarregui |
| Publisher: |
Springer-Verlag Telos (June, 1998) |
| ISBN: |
3540761861 |
| Book Title:
|
Friendly Introduction to Mathematical Logic, A (Hardcover) |
| Author: |
Christopher C. Leary |
| Publisher: |
Prentice Hall; 1st edition (December 8, 1999) |
| ISBN: |
130107050 |
| Book Title:
|
Temporal Verification of Reactive Systems : Safety (Hardcover) |
| Author: |
Zohar Manna |
| Publisher: |
Springer; 1 edition (August 4, 1995) |
| ISBN: |
387944591 |
| Book Title:
|
Introduction to Languages and the Theory of Computation (Hardcover) |
| Author: |
John Martin |
| Publisher: |
McGraw-Hill Science/Engineering/Math; 3rd edition (August 6, 2002) |
| ISBN: |
72322004 |
| Book Title:
|
Logic and Its Applications (Paperback) |
| Author: |
Edmund Burke |
| Publisher: |
Prentice Hall; 1st edition (August 15, 1996) |
| ISBN: |
130302635 |
| Book Title:
|
Complexity and Real Computation (Hardcover) |
| Author: |
Lenore Blum |
| Publisher: |
Springer; 1 edition (October 30, 1997) |
| ISBN: |
387982817 |
| Book Title:
|
Language Equations (Monographs in Computer Science) (Hardcover) |
| Author: |
Ernst L. Leiss |
| Publisher: |
Springer; 1 edition (March 30, 1999) |
| ISBN: |
038798626X |
| Book Title:
|
The Essence of Logic (Paperback) |
| Author: |
John J. Kelly |
| Publisher: |
Prentice Hall; 1st edition (October 24, 1996) |
| ISBN: |
133963756 |
| Book Title:
|
Logical Methods : In Honor of Anil Nerode's Sixtieth Birthday (Progress in Computer Science and Applied Logic (PCS)) (Hardcover) |
| Author: |
John N. Crossley |
| Publisher: |
Birkhauser; 1 edition (December 20, 1993) |
| ISBN: |
817636900 |
| Book Title:
|
6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, Organised by Bcs-Facs, London, 5-7 January 1994 (Workshops in Computing) (Paperback) |
| Author: |
David Till |
| Publisher: |
Springer (January, 1994) |
| ISBN: |
387198865 |
| Book Title:
|
Hyperedge Replacement: Grammars and Languages (Lecture Notes in Computer Science) (Paperback) |
| Author: |
A. Habel |
| Publisher: |
Springer (November, 1992) |
| ISBN: |
038756005X |
| Book Title:
|
Formal Aspects of Measurement: Proceedings of the Bcs-Facs Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 (Wor) (Paperback) |
| Author: |
Tim Denvir |
| Publisher: |
Springer (October, 1992) |
| ISBN: |
387197885 |
| Book Title:
|
Rational Series and Their Languages (E a T C S Monographs on Theoretical Computer Science) (Hardcover) |
| Author: |
Jean Berstel |
| Publisher: |
Springer (December, 1988) |
| ISBN: |
387186263 |
| Book Title:
|
Kolmogorov Complexity and Computational Complexity (E a T C S Monographs on Theoretical Computer Science) (Hardcover) |
| Author: |
Osamu Watanabe |
| Publisher: |
Springer (December, 1992) |
| ISBN: |
387558403 |
| Book Title:
|
Parsing Theory: Languages and Parsing (E a T C S Monographs on Theoretical Computer Science) (Hardcover) |
| Author: |
Seppo Sippu |
| Publisher: |
Springer (October, 1988) |
| ISBN: |
387137203 |
| Book Title:
|
Introduction To Languages and The Theory of Computation (Hardcover) |
| Author: |
John C. Martin |
| Publisher: |
McGraw-Hill Companies; 2nd edition (January 1, 1997) |
| ISBN: |
70408459 |
| Book Title:
|
Introduction to the Theory of Complexity (Prentice Hall International Series in Computer Science) (Hardcover) |
| Author: |
Daniel Pierre Bovet |
| Publisher: |
Prentice Hall PTR (February, 1994) |
| ISBN: |
139153802 |
| Book Title:
|
Complexity Theory Retrospective : In Honor of Juris Hartmanis on the Occasion of his Sixtieth Birthday, July 5, 1988 (Hardcover) |
| Author: |
Alan L. Selman |
| Publisher: |
Springer; 1 edition (June 26, 1990) |
| ISBN: |
387973508 |
| Book Title:
|
The Theory of Computation (Hardcover) |
| Author: |
Bernard M. Moret |
| Publisher: |
Addison Wesley Longman; 1st edition (September, 1997) |
| ISBN: |
201258285 |
| Book Title:
|
Petri Net Algebra (Hardcover) |
| Author: |
Eike Best |
| Publisher: |
Springer; 1 edition (February 15, 2001) |
| ISBN: |
3540673989 |
| Book Title:
|
Lindenmeyer Systems: Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology (Hardcover) |
| Author: |
G. Rozenberg |
| Publisher: |
Springer (June, 1992) |
| ISBN: |
387553207 |
| Book Title:
|
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version (Hardcover) |
| Author: |
Mircea Reghis |
| Publisher: |
CRC-Press; 1 edition (May 20, 1998) |
| ISBN: |
849331978 |
| Book Title:
|
Logic for Computer Scientists (Progress in Computer Science and Applied Logic (PCS)) (Hardcover) |
| Author: |
Uwe Sch�ing |
| Publisher: |
Birkhauser; 1 edition (July 15, 1994) |
| ISBN: |
817634533 |
| Book Title:
|
Attribute Grammars and Their Applications: International Conference Waga Paris, France, September 19-21, 1990 :Proceedings (Lecture Notes in Computer Science) (Paperback) |
| Author: |
P. Deransart |
| Publisher: |
Springer (December, 1990) |
| ISBN: |
387531017 |
| Book Title:
|
Completeness and Reduction in Algebraic Complexity Theory (Algorithms and Computation in Mathematics) (Hardcover) |
| Author: |
Peter Brgisser |
| Publisher: |
Springer; 1 edition (July 26, 2000) |
| ISBN: |
3540667520 |
| Book Title:
|
Automata and Formal Languages: An Introduction [FACSIMILE] (Hardcover) |
| Author: |
Dean Kelley |
| Publisher: |
Prentice Hall; 1st edition (January 29, 1998) |
| ISBN: |
134977777 |
| Book Title:
|
From Logic Programming to Prolog (Textbook Binding) |
| Author: |
Krzysztof R. Apt |
| Publisher: |
Prentice Hall; 1st edition (November 19, 1996) |
| ISBN: |
013230368X |
| Book Title:
|
Theorem Proving With the Real Numbers (Distinguished Dissertations (Springer-Verlag)) (Hardcover) |
| Author: |
J. Harrison |
| Publisher: |
Springer-Verlag Telos (June, 1998) |
| ISBN: |
3540762566 |
| Book Title:
|
Term Rewriting: French Spring School Of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course (Lecture Notes in Computer Science) (Paperback) |
| Author: |
Hubert Comon |
| Publisher: |
Springer (April 30, 1995) |
| ISBN: |
3540593403 |
| Book Title:
|
Introduction to Languages and the Theory of Computation (Hardcover) |
| Author: |
John C. Martin |
| Publisher: |
McGraw-Hill Companies; 3rd edition (August, 2002) |
| ISBN: |
71198547 |
| Book Title:
|
Parameterized Complexity (Monographs in Computer Science) (Hardcover) |
| Author: |
Rod G. Downey |
| Publisher: |
Springer; 1 edition (November 6, 1998) |
| ISBN: |
038794883X |
| Book Title:
|
Combinatorics, Complexity, & Logic: Proceedings of Dmtcs'96 (Springer Series in Discrete Mathematics and Theoretical Computer Science) (Paperback) |
| Author: |
N. Z.) Dmtcs 9 (1996 Auckland |
| Publisher: |
Springer-Verlag (April, 1997) |
| ISBN: |
981308314X |
| Book Title:
|
Collected Works of J. Richard Buchi (Hardcover) |
| Author: |
J. Richard Buchi |
| Publisher: |
Springer (January, 1990) |
| ISBN: |
387970649 |
| Book Title:
|
Computational Logic Handbook (Academic Press International Series in Formal Methods) (Hardcover) |
| Author: |
Robert S. Boyer |
| Publisher: |
Academic Press; 2nd edition (October, 1997) |
| ISBN: |
121229556 |
| Book Title:
|
High-Level Petri Nets: Theory and Application (Paperback) |
| Author: |
K. Jensen |
| Publisher: |
Springer (September, 1991) |
| ISBN: |
038754125X |
| Book Title:
|
Moral Calculations : Game Theory, Logic and Human Frailty (Hardcover) |
| Author: |
Laszlo Mero |
| Publisher: |
Springer; 1 edition (July, 1998) |
| ISBN: |
387984194 |
| Book Title:
|
Logistic Regression (Hardcover) |
| Author: |
David G. Kleinbaum |
| Publisher: |
Springer; 2 edition (August 12, 2002) |
| ISBN: |
387953973 |
| Book Title:
|
Homogenization of Reticulated Structures (Applied Mathematical Sciences) (Hardcover) |
| Author: |
Doina Cioranescu |
| Publisher: |
Springer (April, 1999) |
| ISBN: |
387986340 |
| Book Title:
|
Problem Solving-Across the Disciplines (Paperback) |
| Author: |
R. R. Kadesch |
| Publisher: |
Prentice Hall; 1st edition (November 12, 1996) |
| ISBN: |
136541879 |
| Book Title:
|
More Thought Provokers (Paperback) |
| Author: |
Doug Rohrer |
| Publisher: |
Key Curriculum Press (January, 1994) |
| ISBN: |
1559530707 |
| Book Title:
|
Thought Provokers (Paperback) |
| Author: |
Doug Rohrer |
| Publisher: |
Key Curriculum Press (June, 1993) |
| ISBN: |
1559530650 |
| Book Title:
|
Russell: The Great Philosophers (The Great Philosophers Series) (Great Philosophers (Routledge (Firm))) (Hardcover) |
| Author: |
RAY MONK |
| Publisher: |
Routledge; 1 edition (July, 1999) |
| ISBN: |
415923867 |
| Book Title:
|
Introduction to Logic: Propositional Logic (3rd Edition) (Paperback) |
| Author: |
Howard Pospesel |
| Publisher: |
Prentice Hall; 3 edition (October 27, 1999) |
| ISBN: |
130258490 |
| Book Title:
|
Introduction to Logic: Propositional Logic (Paperback) |
| Author: |
Howard Pospesel |
| Publisher: |
Prentice Hall College Div; 3 edition (November 11, 1997) |
| ISBN: |
131649973 |
| Book Title:
|
A Course in Model Theory : An Introduction to Contemporary Mathematical Logic (Hardcover) |
| Author: |
Bruno Poizat |
| Publisher: |
Springer; 1 edition (May 25, 2000) |
| ISBN: |
387986553 |
| Book Title:
|
Journey into Mathematics, A: An Introduction to Proofs (Hardcover) |
| Author: |
Joseph J. Rotman |
| Publisher: |
Prentice Hall; 1 edition (August 13, 1997) |
| ISBN: |
138423601 |
| Book Title:
|
A Mathematical Introduction to Logic, Second Edition (Hardcover) |
| Author: |
Herbert B. Enderton |
| Publisher: |
Academic Press; 2 edition (December, 2000) |
| ISBN: |
122384520 |
| Book Title:
|
Algebraic Logic (Problem Books in Mathematics) (Hardcover) |
| Author: |
Semen G. Gindikin |
| Publisher: |
Springer; 1 edition (October 14, 1985) |
| ISBN: |
387961798 |
| Book Title:
|
Logic from Computer Science: Proceedings of a Workshop Held Nov 13-17, 1989 (Mathematical Sciences Research Institute Publications) (Hardcover) |
| Author: |
Y. N. Moschovakis |
| Publisher: |
Springer (January, 1992) |
| ISBN: |
387976671 |
| Book Title:
|
Definability and Computability (Siberian School of Algebra and Logic) (Hardcover) |
| Author: |
Yuri L. Ershov |
| Publisher: |
Springer; 1 edition (April 30, 1996) |
| ISBN: |
306110393 |
| Book Title:
|
Elements of Logic via Numbers and Sets (Springer Undergraduate Mathematics Series) (Paperback) |
| Author: |
D.L. Johnson |
| Publisher: |
Springer; 1 edition (February 28, 2001) |
| ISBN: |
3540761233 |
| Book Title:
|
Many-Valued Logics: Theoretical Foundations (Hardcover) |
| Author: |
Leonard Bolc |
| Publisher: |
Springer (October, 1992) |
| ISBN: |
387559264 |
| Book Title:
|
Sweet Reason : A Field Guide to Modern Logic (Textbooks in Mathematical Sciences) (Paperback) |
| Author: |
Tom Tymoczko |
| Publisher: |
Key College; 1 edition (April 8, 2004) |
| ISBN: |
387989307 |
| Book Title:
|
Introduction to Logic: Predicate Logic (Paperback) |
| Author: |
Howard Pospesel |
| Publisher: |
Prentice Hall College Div; 1st edition (January, 1976) |
| ISBN: |
134862252 |
| Book Title:
|
Understanding Symbolic Logic (Hardcover) |
| Author: |
Virginia Klenk |
| Publisher: |
Prentice Hall College Div; 3 edition (March 9, 1994) |
| ISBN: |
130607673 |
| Book Title:
|
Cellular Automata and Complexity (Paperback) |
| Author: |
Stephen Wolfram |
| Publisher: |
Perseus Books Group (January, 1994) |
| ISBN: |
201626640 |
| Book Title:
|
Mathematics of the 19th Century : Mathematical Logic - Algebra - Number Theory - Probability Theory (Paperback) |
| Author: |
A.N. Kolmogorov |
| Publisher: |
Birkhauser; 2 edition (April 20, 2001) |
| ISBN: |
3764364424 |
| Book Title:
|
General Lattice Theory (Hardcover) |
| Author: |
George A. Gratzer |
| Publisher: |
Birkhauser Boston; 2 ed edition (September, 1998) |
| ISBN: |
3764352396 |
| Book Title:
|
Advanced Linear Modeling (Hardcover) |
| Author: |
Ronald Christensen |
| Publisher: |
Springer; 2 edition (June 26, 2001) |
| ISBN: |
387952969 |
| Book Title:
|
Stat Labs: Mathematical Statistics Through Applications (Paperback) |
| Author: |
Deborah Nolan |
| Publisher: |
Springer; 1 edition (November 26, 2001) |
| ISBN: |
387989749 |
| Book Title:
|
Categories for the Working Mathematician (Graduate Texts in Mathematics) (Hardcover) |
| Author: |
Saunders Mac Lane |
| Publisher: |
Springer; 2 edition (September 25, 1998) |
| ISBN: |
387984038 |
| Book Title:
|
Mechanical Theorem Proving in Geometries: Basic Principles (Texts and Monographs in Symbolic Computation) (Paperback) |
| Author: |
Went Sun Wu |
| Publisher: |
Springer (May, 1994) |
| ISBN: |
387825061 |
| Book Title:
|
Sheaves in Geometry and Logic : A First Introduction to Topos Theory (Universitext) (Paperback) |
| Author: |
Saunders MacLane |
| Publisher: |
Springer; 1 edition (October 27, 1994) |
| ISBN: |
387977104 |
| Book Title:
|
Calculus: An Introduction (Hardcover) |
| Author: |
Tze Beng Ng |
| Publisher: |
Springer-Verlag Telos (August, 1998) |
| ISBN: |
9813083069 |
| Book Title:
|
Spherical Inversion on SLn(r) (Hardcover) |
| Author: |
Jay Jorgenson |
| Publisher: |
Springer; 1 edition (June 21, 2001) |
| ISBN: |
387951156 |
| Book Title:
|
Modern Algebra and the Rise of Mathematical Structures (Paperback) |
| Author: |
Leo Corry |
| Publisher: |
Birkhauser (March 28, 1996) |
| ISBN: |
3764353112 |
| Book Title:
|
Introduction to Cardinal Arithmetic (Birkh�ser Advanced Texts / Basler Lehrbcher) (Hardcover) |
| Author: |
M. Holz |
| Publisher: |
Birkhauser; 1 edition (September 24, 1999) |
| ISBN: |
3764361247 |
| Book Title:
|
A Recursive Introduction to the Theory of Computation (Graduate Texts in Computer Science) (Hardcover) |
| Author: |
Carl H. Smith |
| Publisher: |
Springer (October, 1994) |
| ISBN: |
387943323 |
| Book Title:
|
Introduction to DISCRETE MATHEMATICS with ISETL (Hardcover) |
| Author: |
William E. Fenton |
| Publisher: |
Springer; 1 edition (September 19, 1996) |
| ISBN: |
387947825 |
| Book Title:
|
Elements of Set Theory (Hardcover) |
| Author: |
Herbert B. Enderton |
| Publisher: |
Academic Press (April 28, 1977) |
| ISBN: |
122384407 |
| Book Title:
|
Algorithms in Invariant Theory (Texts and Monographs in Symbolic Computation) (Paperback) |
| Author: |
Bernd Sturmfels |
| Publisher: |
Springer (November, 1993) |
| ISBN: |
387824456 |
| Book Title:
|
Classical Descriptive Set Theory (Graduate Texts in Mathematics) (Hardcover) |
| Author: |
Alexander S. Kechris |
| Publisher: |
Springer; 1 edition (January 6, 1995) |
| ISBN: |
387943749 |
| Book Title:
|
Set Theory of the Continuum (Mathematical Sciences Research Institute Publications) (Hardcover) |
| Author: |
H. Judah |
| Publisher: |
Springer (November, 1992) |
| ISBN: |
387978747 |
| Book Title:
|
An Outline of Set Theory (Problem Books in Mathematics) (Hardcover) |
| Author: |
James M. Henle |
| Publisher: |
Springer (November, 1986) |
| ISBN: |
387963685 |
| Book Title:
|
Notes on Set Theory (Undergraduate Texts in Mathematics) (Hardcover) |
| Author: |
Yiannis Moschovakis |
| Publisher: |
Springer; 1 edition (February 18, 1994) |
| ISBN: |
387941800 |
| Book Title:
|
The Global Dynamics of Cellular Automata: An Atlas of Basin of Attraction Fields of One-Dimensional Cellular Automata (Santa Fe Institute Studies in the Sciences of Complexity Reference Volumes) (Hardcover) |
| Author: |
Andrew Wuensche |
| Publisher: |
Perseus Books (Sd) (July, 1992) |
| ISBN: |
201557401 |
| Book Title:
|
Automorphic Forms, Shimura Varieties and L-Functions: Proceedings of a Conference Held at the University of Michigan, Ann Arbor, July 6-16, 1988 (Pe) (Hardcover) |
| Author: |
Laurent Clozel |
| Publisher: |
Academic Pr (January, 1990) |
| ISBN: |
121766519 |
| Book Title:
|
Naive Set Theory (Undergraduate Texts in Mathematics) (Hardcover) |
| Author: |
Paul R. Halmos |
| Publisher: |
Springer; 1 edition (January 16, 1998) |
| ISBN: |
387900926 |
| Book Title:
|
Recursion Theory Week: Proceedings of the Conference Held Oberwolfach, W Germany, April 15-21, 1984 (Lecture Notes in Mathematics) (Paperback) |
| Author: |
H. D. Ebbinghaus |
| Publisher: |
Springer (November, 1985) |
| ISBN: |
387156739 |
| Book Title:
|
A Mathematical Introduction to Logic (Hardcover) |
| Author: |
Herbert B. Enderton |
| Publisher: |
Academic Pr (April, 1972) |
| ISBN: |
122384504 |
| Book Title:
|
Mathematical Logic Applications and Theory (Saunders Series) (Hardcover) |
| Author: |
Jean E. Rubin |
| Publisher: |
Harcourt Brace College Publishers (January, 1990) |
| ISBN: |
30128080 |
| Book Title:
|
Godel's Incompleteness Theorems (Oxford Logic Guides, No 19) (Hardcover) |
| Author: |
Raymond M. Smullyan |
| Publisher: |
Oxford University Press (August 20, 1992) |
| ISBN: |
195046722 |
| Book Title:
|
Recursively Enumberable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets (Perspectives in Mathematical Logic) (Hardcover) |
| Author: |
Robert I. Soare |
| Publisher: |
Springer (April, 1987) |
| ISBN: |
387152997 |
| Book Title:
|
Around Classification Theory of Models (Lecture Notes in Mathematics, Vol 1182) (Paperback) |
| Author: |
S. Shelah |
| Publisher: |
Springer (June, 1986) |
| ISBN: |
387164480 |
| Book Title:
|
Predicate Calculus and Program Semantics (Texts and Monographs in Computer Science) (Hardcover) |
| Author: |
Edsger Wybe Dijkstra |
| Publisher: |
Springer-Verlag (January, 1990) |
| ISBN: |
387969578 |
| Book Title:
|
Discrete Mathematics (4th Edition) (Hardcover) |
| Author: |
Kenneth A. Ross |
| Publisher: |
Prentice Hall College Div; 4th edition (January, 1999) |
| ISBN: |
130961418 |
| Book Title:
|
Introduction to Logic Design (Unknown Binding) |
| Author: |
Alan Marcovitz |
| Publisher: |
McGraw-Hill Education - Europe (August 1, 2001) |
| ISBN: |
71123997 |
|
