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

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

57

Bibliographic Details
Main Author:	371186 Scheurer, Thierry
Format:
Published:	Wokingham : Addison-Wesley, 1994
Subjects:	System design Set theory Logic, Symbolic and mathematical

Similar Items

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

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

Elements of mathematical logic and set theory /
by: 323266 Slupecki, J., et al.
Published: (1967)

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

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

Mathematical logic, the theory of algorithms and theory of sets /
by: Adjan, S.
Published: (1977)

Introductory College Mathematics : sets and logic /
by: 385124 Hackworth, Robert D., et al.
Published: (1976)

Fundamentals of mathematics : an introduction to proofs, logic, sets, and numbers /
by: Schroder, Bernd S. W. (Bernd Siegfried Walter), 1966-
Published: (c201)

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

Logic, proof and sets /
by: 388844 Bittinger, Marvin L.
Published: (1982)

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

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

Foundations of digital logic design /
by: 405703 Langholz, Gideon
Published: (1998)

Conceptual models in mathematics : sets, logic and probability /
by: 388563 Hirst, K. E., et al.
Published: (1971)

A formalization of set theory without variables /
by: 319988 Tarski, Alfred, et al.
Published: (1987)

Learning to reason : an introduction to logic, sets and relations /
by: Rodgers, Nancy, 1941-
Published: (2000)

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

ISILC logic conference : proceedings /
by: International Summer Institute and Logic Colloquium (1974 : University of Kiel), et al.
Published: (1975)

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

Logic design theory /
by: Biswas, Nripendra Nath, 1928-
Published: (1993)

Foundations of mathematical logic /
by: 351193 Curry, Haskell Brooks
Published: (1977)

Proof, logic and conjecture : the mathematician's toolbox /
by: 267708 Wolf, Robert S
Published: (1998)

The foundation of mathematics and other logical essays /
by: 404203 Ramsey, Frank Plumpton, et al.
Published: (1931)

Foundations: essays in philosophy, logic, mathematical and economics /
by: 404203 Ramsey, Frank Plumpton
Published: (1978)

Mathematical logic and the foundations of mathematics; and introductory surver /
by: 335802 Kneebone, G. T.
Published: ([196)

Logic, sets, and recursion /
by: 332434 Causey, Robert L.
Published: (2006)

Five papers on logic and foundations /
by: 1335 American Mathematical Society, et al.
Published: (1972)

Foundations : logic, language and mathematics /
by: Leblanc, Hugues, 1924-, et al.
Published: (1984)

Switching circuits : theory and logic design /
by: 227389 Torng, H. C.
Published: (1972)

Mathematical logic : an introduction to model theory /
by: 314347 Lightstone, A. H., et al.
Published: (1978)

Selected papers in logic and foundations, didactics, economics /
by: 298224 Menger, Karl
Published: (1979)

Non-classical logic, model theory and computability
Published: (1977)

Logic for computer science /
by: 318694 Reeves, Steve, et al.
Published: (1990)

Mathematical logic and computability /
by: 404540 Keisler, H. Jerome, et al.
Published: (1996)

Logica universalis : towards a general theory of logic /
by: Beziau, Jean-Yves
Published: (2007)

Classical mathematical logic : the semantic foundations of logic /
by: Epstein, Richard L., 1947-
Published: (2006)

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

Logic : a foundation for computer science /
by: 307739 Sperschneider, V., et al.
Published: (1993)

Mathematical logic for computer science /
by: 288973 Ben-Ari, Mordechai
Published: (2003)

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