Proof and computation

Proof and computation

Saved in:

Bibliographic Details
Corporate Author:	North Atlantic Treaty Organization
Other Authors:	Schwichtenberg, Helmut 1942-
Format:	Book
Published:	Berlin Springer 1995
Series:	NATO ASI series. Series F, Computer and systems sciences vol. 139
Subjects:	Logic programming > Congresses Logic, Symbolic and mathematical > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Proof Knowledge In Mathematics
Published: (1992)

Logic Colloquium '99 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, Netherlands, August 1-6, 1999
Published: (2004)

Logic Colloquium '77 proceedings of the ... held August 1977
Published: (1978)

A friendly introduction to mathematical logic
by: Leary, Christopher C. 1957-
Published: (2000)

Logic for applications
by: Nerode, Anil 1932-
Published: (1993)

Computation as logic
by: Lalement, Rene
Published: (1993)

100% mathematical proof
by: Garnier, Rowan
Published: (1996)

COLOG-88 International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
Published: (1990)

Hybrid logic and its proof-theory
by: Brauner, Torben
Published: (2011)

How to read and do proofs an introduction to mathematical thought processes
by: Solow, Daniel
Published: (2002)

The Logical basis for computer programming
by: Manna, Zohar
Published: (1990)

Logical methods in honor of Anil Nerode's sixtieth birthday
Published: (1993)

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

Higher order logic theorem proving and its applications proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
Published: (1993)

Inconsistent mathematics
by: Mortensen, Chris
Published: (1995)

Logic design theory
by: Biswas, Nripendra Nath 1928-
Published: (1993)

Logic
by: Tomassi, Paul
Published: (1999)

Modern formal logic
by: McKay, Thomas J.
Published: (1989)

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

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

Symbolic logic
by: Copi, Irving M
Published: (1968)

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

Self consciousness and self reference an interpretation of Willgenstein tractus
by: Worthington, B. A
Published: (1988)

Logik dan penggunaannya untuk sistem komputer
by: Nguyen, Huu Bong
Published: (1987)

A concise introduction to pure mathematics
by: Liebeck, M. W 1954- Martin W.
Published: (2011)

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

Symbolic logic
by: Thomas, James A
Published: (1977)

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

Symbolic logic and mechanical theorem proving
by: Chang, Chin-Liang 1937-
Published: (1973)

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

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

Logical forms an introduction to philosophical logic
by: Sainsbury, R. M (Richard Mark)
Published: (2001)

A concise introduction to pure mathematics
by: Liebeck, M. W. 1954- Martin W.
Published: (2006)

What is mathematical logic?
Published: (1972)

From symbolic logic-- to mathematical logic
by: Silver, Charles L
Published: (1994)

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

Waht is mathematical logic?
Published: (1972)

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

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

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