Cover Image

Handbook of Logic and Proof Techniques for Computer Science /

Show other versions (1)

Bibliographic Details
Main Author:	Krantz, Steven G.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Boston, MA : Birkhäuser Boston : Imprint: Birkhäuser, 2002.
Subjects:	Computer science. Logic design. Mathematics. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1996)

Collegium Logicum.
Published: (1995)

Collegium Logicum.
Published: (1996)

Logic from Computer Science : Proceedings of a Workshop held November 13-17, 1989 /
by: Moschovakis, Yiannis N.
Published: (1992)

Mathematical Logic for Computer Science /
by: Ben-Ari, Mordechai
Published: (2001)

Logical Methods : In Honor of Anil Nerode's Sixtieth Birthday /
by: Crossley, John N.
Published: (1993)

Many-Valued Logics : 1: Theoretical Foundations /
by: Bolc, Leonard
Published: (1992)

Introduction to Mathematical Structures and Proofs /
by: Gerstein, Larry J.
Published: (1996)

Language, Truth and Logic in Mathematics /
by: Hintikka, Jaakko
Published: (1998)

Logic and Structure /
by: Dalen, Dirk
Published: (1980)

Logic and Structure /
by: Dalen, Dirk
Published: (1994)

Mathematical Logic /
by: Ebbinghaus, H.-D
Published: (1994)

Mathematical Logic : an Introduction to Model Theory /
by: Lightstone, A. H.
Published: (1978)

Self-Reference and Modal Logic /
by: Smoryński, C.
Published: (1985)

Iteration Theories : the Equational Logic of Iterative Processes /
by: Bloom, Stephen L.
Published: (1993)

Introduction to Mathematical Logic : Set Theory Computable Functions Model Theory /
by: Malitz, Jerome, 1936-
Published: (1979)

Mathematical Models for the Semantics of Parallelism : Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings /
by: Venturini Zilli, Marisa
Published: (1987)

Structural Complexity II /
by: Balcázar, José Luis
Published: (1990)

First-Order Programming Theories /
by: Gergely, T. (Tamás)
Published: (1991)

A Course in Model Theory : an Introduction to Contemporary Mathematical Logic /
by: Poizat, Bruno
Published: (2000)

Algebra for Computer Science /
by: Gårding, Lars
Published: (1988)

Internal Logic : Foundations of Mathematics from Kronecker to Hilbert /
by: Gauthier, Yvon
Published: (2002)

Ideals, Varieties, and Algorithms : an Introduction to Computational Algebraic Geometry and Commutative Algebra /
by: Cox, David
Published: (1997)

An Outline of Set Theory /
by: Henle, James M.
Published: (1986)

Introduction to Axiomatic Set Theory /
by: Takeuti, Gaisi
Published: (1982)

Advances in Fuzzy Sets, Possibility Theory, and Applications /
by: Wang, Paul P.
Published: (1983)

Perspectives of Elementary Mathematics /
by: Hochschild, Gerhard P.
Published: (1983)

Lectures on Boolean Algebras /
by: Halmos, Paul R.
Published: (1974)

The Joy of Sets : Fundamentals of Contemporary Set Theory /
by: Devlin, Keith J.
Published: (1993)

Foundations of Constructive Mathematics : Metamathematical Studies /
by: Beeson, Michael J.
Published: (1985)

Zermelo's Axiom of Choice : Its Origins, Development, and Influence /
by: Moore, Gregory H.
Published: (1982)

Set Theory of the Continuum /
by: Judah, H. (Haim)
Published: (1992)

Mathematical Aspects of Scientific Software /
by: Rice, J. R.
Published: (1988)

Notes on Set Theory /
by: Moschovakis, Yiannis N.
Published: (1994)

Closure Spaces and Logic /
by: Martin, Norman M.
Published: (1996)

Computational Logic : Symposium Proceedings, Brussels, November 13/14, 1990 /
by: Lloyd, John W.
Published: (1990)

Logical Foundations of Computer Science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings /
by: Nerode, Anil
Published: (1992)

Non-Classical Logics and their Applications to Fuzzy Subsets : A Handbook of the Mathematical Foundations of Fuzzy Set Theory /
by: Höhle, Ulrich
Published: (1995)

Logic, Language, and Probability : a Selection of Papers Contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, September 1971 /
by: Bogdan, Radu J.
Published: (1973)

Logic for Applications /
by: Nerode, Anil
Published: (1997)