Foundations of computing : system development with set theory and logic /

Main Author:	Scheurer, Thierry
Format:	Book
Language:	English
Published:	Wokingham, England ; Reading, Mass. : Addison-Wesley, c1994.
Subjects:	System design Set theory Logic, Symbolic and mathematical

Similar Items

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

Logic, computers and sets/
by: Wang, Hao
Published: (1970)

Set theory and logic/
by: Stoll, Robert R.
Published: (1963)

Lectures in logic and set theory /
by: Tourlakis, George J.
Published: (2003)

Set theory and logic/
by: Fraenkel, Abraham Adolf, 1891-1965
Published: (1966)

Set theory and logic/
by: Stoll, Robert Roth
Published: (1963)

Set theory and logic/
by: Stoll, Robert Roth
Published: (1961)

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

Set theory and logic/
by: Stoll, Robert Roth
Published: (1979)

Set theory, logic, and their limitations/
by: Machover, Moshe
Published: (1996)

Introduction to logic and sets /
by: Christian, Robert R.
Published: (1965)

Conceptual models in mathematics: sets, logic and probability/
by: Hirst, Keith Edwin
Published: (1971)

Set theory and the continuum hypothesis/
by: Cohen, Paul J., 1934-
Published: (1966)

Formal set theory/
by: Keene, Geoffrey Bourton
Published: (1974)

A theory of sets /
by: Morse, Anthony P.
Published: (1965)

Logic, theory of sets and quantum mechanics/
by: Neumann, John Von
Published: (1961)

Introductory logic and sets for computer scientists/
by: Nissanke, Nimal
Published: (1999)

Sets, logic, and categories /
by: Cameron, Peter J. 1947-
Published: (1999)

Set theory and its logic/
by: Quine, W. V.
Published: (1969)

Foundations of logic and mathematics : applications to computer science and cryptography /
by: Nievergelt, Yves
Published: (2002)

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 /
Published: (1975)

Το άπειρο και ο νους/
by: Rucker, Rudy von Bitter, 1946-
Published: (1999)

Grundbegriffe der mengenlehre und logik /
by: Hasse, Maria
Published: (1970)

Toposes and local set theories : an introduction /
by: Bell, John Lane
Published: (1988)

Introduction to mathematical logic: set theory, computable functions, model theory/
by: Malitz, Jerome
Published: (1979)

Axiomatic set theory/
by: Suppes, Patrick, 1922-
Published: (1972)

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

The reality of numbers: a physicalist's philosophy of mathematics/
by: Bigelow, John, 1948-
Published: (1988)

Infinity and truth /

Einfuhrung in die moderne Mathematik/
by: Meschkowski, Herbert
Published: (1966)

Abstract sets and finite ordinals : an introduction to the study of set theory /
by: Keene, Geoffrey Bourton
Published: (1961)

Fundamentals of mathematical logic /
by: Hinman, Peter G.
Published: (2005)

Mengenlehre und ihre Logik/
by: Quine, Willard van Orman, 1908-2000
Published: (1973)

Coding the Universe/
by: Beller, A.
Published: (1982)

Fundamentals of mathematical logic /
by: Hinman, Peter G
Published: (2005)

Proof and computation /
Published: (1995)

Logic and the foundations of game and decision theory (LOFT 7)
Published: (2008)

Handbook of logic in computer science /
Published: (1992)

An introduction to fuzzy logic applications/
by: Harris, John
Published: (2000)

Principles of logic and logic programming/
by: Μητακίδης, Γιώργος, 1945-
Published: (1996)

Cannot write session to /tmp/vufind_sessions/sess_dh1recqif3dppd0sh2lk706mp5