Loading…

QR Code

A first course in formal logic and its applications in computer science /

Saved in:

Bibliographic Details
Main Author:	Dowsing, Roy
Other Authors:	Rayward-Smith, V. J., Walter, C. D.
Format:	Book
Published:	Oxford : Blackwell Scientific, c1986
Series:	Computer science texts
Subjects:	Electonic digital computers > Programming. Programming (Mathematics) Logic, Symbolic and mathematical.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Logic of mathematics : a modern course of classical logic /
by: Adamowicz, Zofia
Published: (1997)

Logic and structure
by: Dalen, D. van (Dirk van), 1932-
Published: (1980)

Logic and structure
by: Dalen, D. van (Dirk), 1932-
Published: (1983)

The language of logic /
by: Freudenthal, Hans, 1905-
Published: (1966)

Logic for problem solving
by: Kowalski, Robert
Published: (1979)

Logic and algorithms : with applications to the computer and information sciences /
by: Korfhage, Robert R.
Published: (1966)

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

Principles of mathematical logic /
by: Hilbert, D.
Published: (1990)

Introduction to symbolic logic /
by: Smith, Karl J.
Published: (1991)

Math and logic games
by: Agostini, Franco
Published: (1983)

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

Logic : a foundation for computer science /
by: Sperschneider, V.
Published: (1991)

Logic and databases /
Published: (1978)

Equational logic as a programming language
by: O'Donnell, Michael J., 1952-
Published: (1985)

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

Logic, algebra and databases
by: Gray, Peter M. D.
Published: (1984)

Sets, logic, and axiomatic theories /
by: Stoll, Robert Roth
Published: (1961)

Logic, methodology, and philosophy of science VI proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979
Published: (1982)

Elements of logic and foundations of mathematics in problems /
by: Wiktor, Marek
Published: (1982)

The logical and set-theoretical foundations of mathematics /
by: Zulauf, Achim
Published: (1969)

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

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

Formal methods in artificial intelligence /
by: Ramsay, Allan, 1953-
Published: (1988)

Mathematical thinking /
by: Godwin, D. C.
Published: (1971)

Logic, methodology, and philosophy of science, VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 /
Published: (1986)

Mathematics and plausible reasoning
by: Polya, George, 1887-1985
Published: (1968)

Introduction to the foundations of mathematics /
by: Wilder, Raymond Louis, 1896-
Published: (1965)

Fuzzy logic technology and applications I /
Published: (1994)

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

Logic programming /
Published: (1982)

Computer logic : principles and techniques /
by: Hutchison, David, M. Tech
Published: (1987)

Basic computer logic
by: Scott, John R.
Published: (1981)

Fundamentals of computer logic
by: Hutchison, David, M. Tech
Published: (1981)

From logic to computers
by: Thewlis, P. J.
Published: (1983)

Elements of the theory of computation
by: Lewis, Harry R.
Published: (1981)

The computer modelling of mathematical reasoning
by: Bundy, Alan
Published: (1983)

Tractus logico-philosophicus /
by: Wittgenstein, Ludwig, 1889-1951
Published: (1961)

Handbook of digital logic ... with practical applications /
by: Cowan, Sam, 1943-
Published: (1985)

Computer arithmetic logic and design
by: Spaniol, Otto, 1945-
Published: (1981)