Foundations of computing system development with set theory and logic

Foundations of computing system development with set theory and logic

Saved in:

Bibliographic Details
Main Author:	Scheurer, Thierry
Format:	Unknown
Published:	Wokingham, England Addison-Wesley 1994
Series:	International computer science series
Subjects:	Set theory Logic, Symbolic and mathematical System design
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The logical and set-theoretical foundations of mathematics part one of a modern introduction to pure mathematics
by: Zulauf, Achim
Published: (1969)

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

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

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

ASAS BERMATIK DAN BERTEORI SET BAGI MATEMATIK BAHAGIAN PERTAMA PENDEKATAN MODEN TERHADAP MATEMATIK TULEN
by: Zulauf, Achim
Published: (1992)

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

Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.
Published: (1970)

Roads to infinity the mathematics of truth and proof
by: Stillwell, John
Published: (2010)

Temporal logic in specification. Proceedings of the ...
Published: (1989)

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

An Introduction to Fuzzy Set Theory and Fuzzy Logic
by: Mohan, Chander 1939-
Published: (2020)

Logic for applications
by: Nerode, Anil 1932-
Published: (1993)

An introduction to modern mathematics
by: Monjallon, Albert
Published: (1967)

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

Logic, sets, and recursion
by: Causey, Robert L.
Published: (2001)

The foundations of mathematics
by: Stewart, Ian
Published: (1998)

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

Logical number theory an introduction
by: Smorynski, Craig
Published: (1991)

Hybrid logic and its proof-theory
by: Brauner, Torben
Published: (2011)

Handbook of logic in computer science logic and algebraic methods
Published: (2000)

Logica universalis towards a general theory of logic
Published: (2007)

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

Computation as logic
by: Lalement, Rene
Published: (1993)

Fork algebras in algebra, logic and computer science
by: Frias, Marcelo Fabian
Published: (2002)

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

The deductive foundations of computer programming
by: Manna, Zohar
Published: (1993)

Proof and computation
Published: (1995)

Automata, logics, and infinite games
Published: (2002)

From symbolic logic-- to mathematical logic
by: Silver, Charles L
Published: (1994)

Logical forms an introduction to philosophical logic
by: Sainsbury, R. M (Richard Mark)
Published: (2001)

Foundations of set theory
by: Fraenkel, Abraham Adolf 1891-1965
Published: (1973)

The Logical basis for computer programming
by: Manna, Zohar
Published: (1990)

Mathematical logic for computer science
by: Lu, Chung-wan
Published: (1989)

Symbolic logic
by: Copi, Irving M
Published: (1968)

Mathematical logic
by: Shoenfield, Joseph R
Published: (2001)

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

Symbolic logic
by: Thomas, James A
Published: (1977)

Mathematical logic
by: Chiswell, Ian 1948-
Published: (2007)

Lectures on mathematical logic
by: Felscher, Walter
Published: (2000)

INTRODUCTION TO MATHEMATICAL LOGIC
by: Mendelson, Elliott
Published: (2010)

Cannot write session to /tmp/vufind_sessions/sess_avdjr7kaqs8lub86bn3rr50h6g