Notes on Set Theory

Notes on Set Theory

Show other versions (1)

Bibliographic Details
Main Author:	Moschovakis, Yiannis (Author)
Corporate Author:	SpringerLink (Online service)
Format:	Electronic eBook
Language:	English
Published:	New York, NY : Springer New York, 2006.
Edition:	Second Edition.
Series:	Undergraduate Texts in Mathematics,
Subjects:	Mathematics. Mathematical logic. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages.
Online Access:	Full Text via HEAL-Link

Similar Items

Institution-independent Model Theory
by: Diaconescu, Răzvan
Published: (2008)

Notes on Set Theory
by: Moschovakis, Yiannis
Published: (2006)

Dependence Logic Theory and Applications /
Published: (2016)

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems /
by: Carnielli, Walter, et al.
Published: (2008)

Dual Tableaux: Foundations, Methodology, Case Studies
by: Orlowska, Ewa, et al.
Published: (2011)

Logica Volume 1 Dimostrazioni e modelli al primo ordine /
by: Abrusci, Vito Michele, et al.
Published: (2014)

Gentzen's Centenary The Quest for Consistency /
Published: (2015)

Methods of Cut-Elimination
by: Leitsch, Alexander, et al.
Published: (2011)

Logic: A Brief Course
by: Mundici, Daniele
Published: (2012)

A Course on Mathematical Logic
by: Srivastava, Shashi Mohan
Published: (2013)

Logica: Metodo Breve
by: Mundici, Daniele
Published: (2011)

Cylindric-like Algebras and Algebraic Logic
Published: (2013)

Logica Universalis Towards a General Theory of Logic /
Published: (2005)

Logica Universalis Towards a General Theory of Logic /
Published: (2007)

The Life and Work of Leon Henkin Essays on His Contributions /
Published: (2014)

Mathematical Problems from Applied Logic I Logics for the XXIst Century /
Published: (2006)

Logic, Mathematics, and Computer Science Modern Foundations with Practical Applications /
by: Nievergelt, Yves
Published: (2015)

Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume /
Published: (2014)

Logic for Computer Scientists
by: Schöning, Uwe
Published: (2008)

Mathematical Logic for Computer Science
by: Ben-Ari, Mordechai
Published: (2012)

Mathematical Logic Foundations for Information Science /
by: Li, Wei
Published: (2010)

Mathematical Logic Foundations for Information Science /
by: Li, Wei
Published: (2014)

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings /
Published: (2005)

Set Theory Exploring Independence and Truth /
by: Schindler, Ralf
Published: (2014)

Combinatorial Set Theory With a Gentle Introduction to Forcing /
by: Halbeisen, Lorenz J.
Published: (2012)

An Introduction to the Technique of Formative Processes in Set Theory
by: Cantone, Domenico, et al.
Published: (2018)

Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia /
by: Zermelo, Ernst
Published: (2010)

Set Theory With an Introduction to Real Point Sets /
by: Dasgupta, Abhijit
Published: (2014)

Combinatorial Set Theory With a Gentle Introduction to Forcing /
by: Halbeisen, Lorenz J.
Published: (2017)

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /
by: Doberkat, Ernst-Erich
Published: (2015)

Probability Logics Probability-Based Formalization of Uncertain Reasoning /
by: Ognjanović, Zoran, et al.
Published: (2016)

Conditionals and Modularity in General Logics
by: Gabbay, Dov M., et al.
Published: (2011)

Reactive Kripke Semantics
by: Gabbay, Dov M.
Published: (2013)

Problems and Theorems in Classical Set Theory
by: Komjáth, Péter, et al.
Published: (2006)

Membrane Computing International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003. Revised Papers /
Published: (2004)

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
Published: (2015)

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /
Published: (2017)

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday /
Published: (2005)

Hybrid Logic and its Proof-Theory
by: Braüner, Torben
Published: (2011)

Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik /
by: Zermelo, Ernst
Published: (2013)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών