Search Results

Advanced work in English / by Parker,C. R. E. (Colin Rodwell Eric)

Published 1967

An introduction to the nature of proof / by Del Grande, J. J.

Published 1967

Computability : computable functions, logic, and the foundations of mathematics / by Epstein, Richard L.

Published 1989

The computer modelling of mathematical reasoning by Bundy, Alan

Published 1983

A course in mathematical logic by Bell, J. L. (John Lane)

Published 1977

Dictionary of symbols of mathematical logic /

Published 1969

Direct and converse theorems : the elements of symbolic logic / by Gradshtein, I. S.

Published 1963

Discrete mathematics : logic and structures /

Published 1990

Elements of logic and foundations of mathematics in problems / by Wiktor, Marek

Published 1982

Elements of mathematical logic and set theory / by Slupecki, J.

Published 1967

Elements of the theory of computation by Lewis, Harry R.

Published 1981

Equational logic as a programming language by O'Donnell, Michael J., 1952-

Published 1985

A first course in formal logic and its applications in computer science / by Dowsing, Roy

Published 1986

Formal methods in artificial intelligence / by Ramsay, Allan, 1953-

Published 1988

Foundations of computing : system development with set theory and logic / by Scheurer, Thierry

Published 1994

Fuzzy logic technology and applications I /

Published 1994

Handbook of mathematical logic /

Published 1977

How to read and do proofs an introduction to mathematical thought process by Solow, Daniel

Published 1982

Introduction to mathematical logic by Mendelson, Elliott

Published 1979

An introduction to mathematical logic and type theory : to truth through proof / by Andrews, P. B. (Peter Bruce), 1937-

Published 1986