Mathematical logic for computer science / Mordechai Ben-Ari.

Mathematical logic for computer science / Mordechai Ben-Ari.

Show all versions (2)

Saved in:

Bibliographic Details
Main Author:	Ben-Ari, M., 1948- (Author)
Format:	Book
Language:	English
Published:	London : Springer, [2012]
Edition:	Third edition.
Subjects:	Logic, Symbolic and mathematical.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

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

Archive for mathematical logic

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

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

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

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

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

Logic / Wilfrid Hodges.
by: Hodges, Wilfrid
Published: (2001)

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)

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

Mathematical logic quarterly

Logic.
Published: (1971)

Logic.
Published: (1971)

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)

Language, truth and logic in mathematics / Jaakko Hintikka.
by: Hintikka, Jaakko, 1929-
Published: (1998)

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

Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H. J. Keisler ... [et al].
Published: (1977)

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

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

A first course in formal logic and its applications in computer science / R.D. Dowsing, V.J. Rayward-Smith, C.D. Walter.
by: Dowsing, R. (Roy)
Published: (1986)

Fork algebras in algebra : logic and computer science / Marcelo Fabián Frias.
by: Frias, Marcelo Fabián, 1968-
Published: (2002)

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

Mathematical logic and applications proceedings of the Logic Meeting held in Kyoto, 1987 / J. Shinoda, T.A. Slaman, T. Tugue, eds.
Published: (1989)

Elements of mathematical logic / P.S. Novikov ; translated by Leo F. Boron ; with a preface and notes by R.L. Goodstein.
by: Novikov, P. S. (Petr Sergeevich)
Published: (1964)

Discrete mathematics for computing / A. Vince and C. Morris.
by: Vince, A. (Andrew)
Published: (1990)

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

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

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

Methods in mathematical logic proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / edited by C.A. Di Prisco.
Published: (1985)

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

A tour through mathematical logic / Robert S. Wolf.
by: Wolf, Robert S.
Published: (2005)

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

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

© 2017 Loughborough University. All rights reserved.