Delwedd Flaen

Côd QR

A first course in mathematical logic and set theory /

Show other versions (1)

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	O'Leary, Michael L. (Awdur)
Fformat:	Electronig eLyfr
Iaith:	Saesneg
Cyhoeddwyd:	Hoboken, New Jersey : Wiley, 2016.
Pynciau:	Logic, Symbolic and mathematical. Mathematics. Set theory. Electronic books.
Mynediad Ar-lein:	An electronic book accessible through the World Wide Web; click to view
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

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

Mathematical logic
gan: Quine, W. V. (Willard Van Orman)
Cyhoeddwyd: (1981)

Mathematical logic
gan: Quine, W. V. (Willard Van Orman)
Cyhoeddwyd: (1981)

The elements of mathematical logic.
gan: Rosenbloom, Paul C.
Cyhoeddwyd: (1950)

The elements of mathematical logic.
gan: Rosenbloom, Paul C.
Cyhoeddwyd: (1950)

Intermediate logic
gan: Bostock, David
Cyhoeddwyd: (1997)

Intermediate logic
gan: Bostock, David
Cyhoeddwyd: (1997)

Logic with trees an introduction to symbolic logic /
gan: Howson, Colin
Cyhoeddwyd: (1997)

Logic with trees an introduction to symbolic logic /
gan: Howson, Colin
Cyhoeddwyd: (1997)

Studies in logic
Cyhoeddwyd: (1983)

Studies in logic
Cyhoeddwyd: (1983)

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

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

Formal logic : a philosophical approach /
gan: Hoyningen-Huene, Paul, 1946-
Cyhoeddwyd: (2004)

Formal logic : a philosophical approach /
gan: Hoyningen-Huene, Paul, 1946-
Cyhoeddwyd: (2004)

Set theory and its logic
gan: Quine, W. V. (Willard Van Orman)
Cyhoeddwyd: (1969)

Set theory and its logic
gan: Quine, W. V. (Willard Van Orman)
Cyhoeddwyd: (1969)

Mathematical logic
gan: Tourlakis, George J.
Cyhoeddwyd: (2003)

Mathematical logic
gan: Tourlakis, George J.
Cyhoeddwyd: (2003)

Deducibility and decidability
gan: Gill, R. R. Rockingham, 1944-
Cyhoeddwyd: (1990)

Deducibility and decidability
gan: Gill, R. R. Rockingham, 1944-
Cyhoeddwyd: (1990)

Set theory
gan: Tourlakis, George J.
Cyhoeddwyd: (2003)

Set theory
gan: Tourlakis, George J.
Cyhoeddwyd: (2003)

Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
Cyhoeddwyd: (2011)

Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
Cyhoeddwyd: (2011)

Beyond sets a venture in collection-theoretic revisionism /
gan: Rescher, Nicholas
Cyhoeddwyd: (2011)

Beyond sets a venture in collection-theoretic revisionism /
gan: Rescher, Nicholas
Cyhoeddwyd: (2011)

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

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

Foundations of computing : system development with set theory and logic /
gan: Scheurer, Thierry
Cyhoeddwyd: (1994)

Foundations of computing : system development with set theory and logic /
gan: Scheurer, Thierry
Cyhoeddwyd: (1994)

Infinity and the mind : the science and philosophy of the infinite /
gan: Rucker, Rudy
Cyhoeddwyd: (1982)

Infinity and the mind : the science and philosophy of the infinite /
gan: Rucker, Rudy
Cyhoeddwyd: (1982)

Logic without borders /
Cyhoeddwyd: (2015)

Logic without borders /
Cyhoeddwyd: (2015)

Mathematical logic
gan: Chiswell, Ian, 1948-
Cyhoeddwyd: (2007)

Mathematical logic
gan: Chiswell, Ian, 1948-
Cyhoeddwyd: (2007)

Infinity and truth /
Cyhoeddwyd: (2014)

Infinity and truth /
Cyhoeddwyd: (2014)

Mathematical logic in the 20th century
Cyhoeddwyd: (2003)