Mathematical logic for computer science

Mathematical logic for computer science

Saved in:

Bibliographic Details
Main Author:	Ben-Ari, M
Format:	Book
Published:	New York Prentice-Hall 1993
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Mathematical logic and computability
by: Keisler, H. Jerome
Published: (1996)

Logic and computer science
Published: (1990)

Mathematical logic
by: Chiswell, Ian 1948-
Published: (2007)

Mathematical logic
by: Shoenfield, Joseph R
Published: (2001)

Mathematical logic applications and theory
by: Rubin, Jean E
Published: (1990)

Lectures on mathematical logic
by: Felscher, Walter
Published: (2000)

INTRODUCTION TO MATHEMATICAL LOGIC
by: Mendelson, Elliott
Published: (2010)

Introduction to Mathematical Logic
by: Mendelson, Elliott
Published: (1997)

What is mathematical logic?
Published: (1972)

An introduction to mathematical logic
by: Hodel, Richard E
Published: (1995)

Waht is mathematical logic?
Published: (1972)

Introduction to mathematical logic
by: Mendelson, Elliott
Published: (1987)

Handbook of mathematical logic
Published: (1978)

Language, logic, and mathematics
by: Kilmister, C. W. Clive William
Published: (1967)

Logic from computer science proceedings of a ... held November 13-17, 1989
Published: (1992)

Logic and computation interactive proof with Cambridge LCF
by: Paulson, Lawrence C
Published: (1990)

Perspectives on the History of Mathematical Logic
Published: (2008)

Perspectives on the history of mathematical logic
Published: (1991)

A mathematical introduction to logic
by: Enderton, Herbert B
Published: (2001)

Computation, logic, philosophy a collection of essays
by: Wang, Hao
Published: (1990)

Introduction to mathematical logic and resolution principle
by: Wang, Guo-Jun
Published: (2009)

A Tour through Mathematical Logic
by: Wolf, Robert S.
Published: (2005)

Mathematical logic in the 20th century
Published: (2003)

Logical labyrinths
by: Smullyan, Raymond M.
Published: (2009)

An introduction to mathematical logic and type theory to truth through proof
by: Andrews, P. B. (Peter Bruced1937-
Published: (1986)

Fuzzy logic mathematical tools for approximate reasoning
by: Gerla, Giangiocomo
Published: (2001)

Computational aspects of an order-sorted logic with term declarations
by: Schmidt-Schauss, M. Manfred
Published: (1989)

Beginning logic
by: Lemmon, E. J. Edward John
Published: (1993)

Logic and structure
by: Dalen, D. va 1932- Dirk
Published: (2004)

Fuzzy logic
Published: (1996)

Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.
Published: (1970)

Combinatory logic pure, applied and typed
by: Bimbo, Katalin 1963-
Published: (2012)

Logic, proof, and sets
by: Bittinger, Marvin L
Published: (1982)

Using fuzzy logic
by: Yan, Jun
Published: (1994)

Fuzzy logic and optimization
Published: (2006)

Logic, sets, and recursion
by: Causey, Robert L.
Published: (2001)

Proof, logic and formalizaton
Published: (1992)

Fuzzy logic for beginners
by: Mukaidono, Masao 1942-
Published: (2001)

Logic, sets, and recursion
by: Causey, Robert L.
Published: (2006)

Fuzzy equational logic
by: Belohlavek, Radim
Published: (2005)