Logic, computers and sets /

Logic, computers and sets /

41

Bibliographic Details
Main Author:	263016 Wang, Hao
Format:
Published:	New York : Chelsea Pub., 1970
Subjects:	Logic, Symbolic and mathematical Machine theory Set theory

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)

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

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

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

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)

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

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

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

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

Computation, logic, philosophy : a collection of essays /
by: 263016 Wang, Hao
Published: (1990)

From mathematics to philosophy /
by: 263016 Wang, Hao
Published: (1974)

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

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

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

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

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

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

Fundamental concepts of modern mathematics /
by: 183529 Larsen, Max D.
Published: (1970)

An introduction to the numerical operators in primary schools /
by: 366455 Tran, Tu Nguyet, et al.
Published: (1974)

Logic, automato, and algorithms /
by: Aiserman, Mark A.
Published: (1971)

Infinity and truth /
by: Chong, C.-T. (Chi-Tat), 1949- editor
Published: (2014)

Quantum logic/
by: 353961 Mittlestaedt, Peter
Published: (1978)

International Symposium on Uniformly Structured Automata and Logic : proceedings
by: International Symposium on Uniformly Structured Automata and Logic (1975 : Tokyo), et al.
Published: (1975)

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)

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

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

Conditional and preferential logics : proof methods and theorem proving /
by: 518526 Pozzato, Gian Luca
Published: (c201)

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

Yes-no; stop-go some patterns in mathematical logic /
by: 180749 Gersting, Judith L., et al.
Published: (1977)

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

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

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)

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

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)

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