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

Set theory
由: Tourlakis, George J.
出版: (2003)

A first course in mathematical logic and set theory /
由: O'Leary, Michael L.
出版: (2016)

A first course in mathematical logic and set theory /
由: O'Leary, Michael L.
出版: (2016)

Set theory and its logic
由: Quine, W. V. (Willard Van Orman)
出版: (1969)

Set theory and its logic
由: Quine, W. V. (Willard Van Orman)
出版: (1969)

Mathematical logic
由: Tourlakis, George J.
出版: (2003)

Mathematical logic
由: Tourlakis, George J.
出版: (2003)

Beyond sets a venture in collection-theoretic revisionism /
由: Rescher, Nicholas
出版: (2011)

Beyond sets a venture in collection-theoretic revisionism /
由: Rescher, Nicholas
出版: (2011)

Set theory and the continuum hypothesis. /
由: Cohen, Paul J.

Set theory and the continuum hypothesis. /
由: Cohen, Paul J.

Infinity and the mind : the science and philosophy of the infinite /
由: Rucker, Rudy
出版: (1982)

Infinity and the mind : the science and philosophy of the infinite /
由: Rucker, Rudy
出版: (1982)

Infinity and truth /
出版: (2014)

Infinity and truth /
出版: (2014)

Logic without borders /
出版: (2015)

Logic without borders /
出版: (2015)

Foundations without foundationalism a case for second-order logic.
由: Shapiro, Stewart, 1951-
出版: (2000)

Foundations without foundationalism a case for second-order logic.
由: Shapiro, Stewart, 1951-
出版: (2000)

Logic, computation, hierarchies /
出版: (2014)

Logic, computation, hierarchies /
出版: (2014)

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

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

Folk algebras in algebra logic and computer science /
由: Frias, Marcelo Fabián, 1968-
出版: (2002)

Folk algebras in algebra logic and computer science /
由: Frias, Marcelo Fabián, 1968-
出版: (2002)

Concepts of proof in mathematics, philosophy, and computer science /
出版: (2016)

Concepts of proof in mathematics, philosophy, and computer science /
出版: (2016)

Foundation of abstract mathematics /
由: Kurtz, David C.
出版: (1992)

Foundation of abstract mathematics /
由: Kurtz, David C.
出版: (1992)

The search for mathematical roots, 1870-1940 logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel /
由: Grattan-Guinness, I.
出版: (2000)

The search for mathematical roots, 1870-1940 logics, set theories and the foundations of mathematics from Cantor through Russell to Gödel /
由: Grattan-Guinness, I.
出版: (2000)

Proof, logic, and formalization
出版: (1992)

Proof, logic, and formalization
出版: (1992)

Logically determined design clockless system design with NULL convention logic /
由: Fant, Karl M.
出版: (2005)

Logically determined design clockless system design with NULL convention logic /
由: Fant, Karl M.
出版: (2005)

Perspectives in logic logical foundations of proof complexity /
由: Cook, Stephen, 1948-
出版: (2010)