Loading…

QR Code

Logic / Wilfrid Hodges.

Saved in:

Bibliographic Details
Main Author:	Hodges, Wilfrid
Format:	Book
Language:	English
Published:	London ; New York : Penguin Books, 2001.
Edition:	2nd ed.
Subjects:	Logic. Logic, Symbolic and mathematical.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Conference in Mathematical Logic, London '70 edited by Wilfrid Hodges.
Published: (1972)

Conference in Mathematical Logic, London '70 edited by Wilfrid Hodges.
Published: (1972)

Philosophical and mathematical logic / Harrie de Swart.
by: Swart, H. C. M. de
Published: (2018)

Matrix logic / August Stern.
by: Shtern, August
Published: (1988)

Logic.
Published: (1971)

Logic.
Published: (1971)

Predicate logic / Richard L. Epstein.
by: Epstein, Richard L.
Published: (1994)

Logic for computer scientists / Uwe Schöning.
by: Schöning, Uwe, 1955-
Published: (1989)

Symbolic logic.
by: Venn, John
Published: (1971)

Handbook of practical logic and automated reasoning John Harrison.
by: Harrison, John
Published: (2009)

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

Symbolic logic : syntax, semantics, and proof / David W. Agler.
by: Agler, David W., 1982-
Published: (2013)

Symbolic logic syntax, semantics, and proof / David W. Agler.
by: Agler, David W., 1982-
Published: (2013)

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

An algebraic introduction to mathematical logic / Donald W. Barnes, John M. Mack.
by: Barnes, D. W. (Donald W.), 1935-, et al.
Published: (2013)

Logic for information technology / Antony Galton.
by: Galton, Antony, 1952-
Published: (1990)

Logic for mathematicians / A.G. Hamilton.
by: Hamilton, A. G. (Alan G)
Published: (1988)

The logical foundations of mathematics / by William S. Hatcher.
by: Hatcher, William S.
Published: (1982)

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

Proceedings of a Colloquium on Modal and Many-Valued Logics, Helsinki, 23-26 August, 1962.
Published: (1963)

Notes on logic and set theory / P.T. Johnstone.
by: Johnstone, Peter T.
Published: (1987)

Popular lectures on mathematical logic / Wang Hao.
by: Wang, Hao, 1921-
Published: (1981)

Logic as algebra / Paul Halmos, Steven Givant.
by: Halmos, Paul R. (Paul Richard)
Published: (1998)

Essentials of symbolic logic / R.L. Simpson.
by: Simpson, R. L. (Richard L.), 1934-
Published: (1988)

Temporal logic / Nicholas Rescher and Alasdair Urquhart.
by: Rescher, Nicholas, 1928-
Published: (1971)

Mathematical logic for computer science / Mordechai Ben-Ari.
by: Ben-Ari, M., 1948-
Published: (2001)

Computability and logic / George S. Boolos, Richard C. Jeffrey.
by: Boolos, George
Published: (1989)

Mathematical logic : applications and theory / Jean E. Rubin.
by: Rubin, Jean E. (Jean Estelle), 1926-
Published: (1990)

Logic for mathematics and computer science / Stanley N. Burris.
by: Burris, Stanley
Published: (1998)

Mathematical logic for computer science / Mordechai Ben-Ari.
by: Ben-Ari, M., 1948-
Published: (2012)

Logic / John Nolt, Dennis Rohatyn, Achille Varzi.
by: Nolt, John, 1950-
Published: (2011)

Elements of logic via numbers and sets / D.L. Johnson.
by: Johnson, D. L. (David Lawrence), 1943-
Published: (1998)

Mathematics and logic for digital devices.
by: Culbertson, James T.
Published: (1958)

Proceedings of the Summer School in Logic, Leeds, 1967 N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic / edited by M.H. Lob.
Published: (1968)

Mathematical logic in the 20th century / [edited by] Gerald E. Sacks.
Published: (2003)

Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas.
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1994)

Non-standard logics for automated reasoning / edited by Philippe Smets ... [et al.].
Published: (1988)

The mathematics of logic : a guide to completeness theorems and their applications / Richard W. Kaye.
by: Kaye, Richard
Published: (2007)

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

Archive for mathematical logic