Cargando…

A first course in mathematical logic and set theory /

Mostrar otras versiones (1)

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	O'Leary, Michael L. (Autor)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Hoboken, New Jersey : John Wiley & Sons, [2016]
Temas:	Logic, Symbolic and mathematical. Mathematics. Set theory. Logique symbolique et mathématique. Mathématiques. Théorie des ensembles. mathematics. applied mathematics. Logic, Symbolic and mathematical Mathematics Set theory
Acceso en línea:	Texto completo (Requiere registro previo con correo institucional)

Ejemplares similares

Lectures in logic and set theory /
por: Tourlakis, George J.
Publicado: (2003)

Lectures in logic and set theory.
por: Tourlakis, George J.
Publicado: (2003)

Lectures in logic and set theory.
por: Tourlakis, George J.
Publicado: (2003)

Lectures in logic and set theory : mathematical logic.
por: Tourlakis, George J.
Publicado: (2003)

Sets, Logic and Categories.
por: Cameron, Peter J.
Publicado: (1998)

Beyond Sets : a Venture in Collection-Theoretic Revisionism.
por: Rescher, Nicholas
Publicado: (2011)

Beyond Sets : a Venture in Collection-Theoretic Revisionism.
por: Rescher, Nicholas
Publicado: (2011)

Set Theory, Arithmetic, and Foundations of Mathematics : Theorems, Philosophies.
por: Kennedy, Juliette
Publicado: (2011)

Set Theory, Arithmetic, and Foundations of Mathematics : Theorems, Philosophies.
por: Kennedy, Juliette
Publicado: (2011)

Infinity and truth /
Publicado: (2014)

Set theory and its logic /
por: Quine, W. V. (Willard Van Orman)
Publicado: (1969)

Set theory and its logic /
por: Quine, W. V. (Willard Van Orman)
Publicado: (1969)

A hierarchy of formulas in set theory /
por: Lévy, Azriel, 1934-
Publicado: (1965)

Roads to infinity : the mathematics of truth and proof /
por: Stillwell, John
Publicado: (2010)

An introductory to set theory /
Publicado: (2014)

Lógica matemática /
por: Mora Espinosa, Carlos Fernando, et al.
Publicado: (2019)

Infinity and the Mind : the Science and Philosophy of the Infinite /
por: Rucker, Rudy v. B. (Rudy von Bitter), 1946-
Publicado: (2019)

Logic without borders : essays on set theory, model theory, philosophical logic, and philosophy of mathematics /
Publicado: (2015)

Infinity and truth /
por: Slaman, T. A. (Theodore Allen), 1954-, et al.
Publicado: (2014)

Coding the universe /
por: Beller, A.
Publicado: (1982)

Admissible sets and structures : an approach to definability theory /
por: Barwise, Jon
Publicado: (2016)

A first course in logic : an introduction to model theory, proof theory, computability, and complexity /
por: Hedman, Shawn
Publicado: (2004)

Handbook of Mathematical Logic.
por: Barwise, Jon
Publicado: (1989)

Mathematical logic /
por: Chiswell, Ian, 1948-
Publicado: (2007)

Mathematical logic in the 20th century /
Publicado: (2003)

Mathematical logic in the 20th century /
Publicado: (2003)

Conditional and preferential logics : proof methods and theorem proving /
por: Pozzato, Gian Luca
Publicado: (2010)

Proof Logic and Formalization.
por: Detlefsen, Michael, 1948-
Publicado: (1992)

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

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

An Introduction to Non-Classical Logic : From If to Is
por: Priest, Graham
Publicado: (2008)

Methods and Applications of Mathematical Logic.
por: Carnielli, Walter A.
Publicado: (1988)

Mathematical thinking and writing : a transition to abstract mathematics /
por: Maddox, Randall B.
Publicado: (2002)

In the Light of Logic.
por: Feferman, Solomon
Publicado: (1999)

Collected works.
por: Gödel, Kurt
Publicado: (1986)

Mathematical logic /
por: Chiswell, Ian, 1948-
Publicado: (2007)

Proof, logic, and formalization /
Publicado: (1992)

The mathematics of logic : a guide to completeness theorems and their applications /
por: Kaye, Richard (Richard W.)
Publicado: (2007)

The mathematics of logic : a guide to completeness theorems and their applications /
por: Kaye, Richard (Richard W.)
Publicado: (2007)

Linear Logic in Computer Science /
Publicado: (2004)

Cannot write session to /tmp/vufind_sessions/sess_meaai28jmi6kc5pjkjok55mgb7