Notes on Set Theory

Notes on Set Theory

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Moschovakis, Yiannis (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	New York, NY : Springer New York, 2006.
Έκδοση:	Second Edition.
Σειρά:	Undergraduate Texts in Mathematics,
Θέματα:	Mathematics. Mathematical logic. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Institution-independent Model Theory
ανά: Diaconescu, Răzvan
Έκδοση: (2008)

Notes on Set Theory
ανά: Moschovakis, Yiannis
Έκδοση: (2006)

Dependence Logic Theory and Applications /
Έκδοση: (2016)

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems /
ανά: Carnielli, Walter, κ.ά.
Έκδοση: (2008)

Dual Tableaux: Foundations, Methodology, Case Studies
ανά: Orlowska, Ewa, κ.ά.
Έκδοση: (2011)

Logica Volume 1 Dimostrazioni e modelli al primo ordine /
ανά: Abrusci, Vito Michele, κ.ά.
Έκδοση: (2014)

Gentzen's Centenary The Quest for Consistency /
Έκδοση: (2015)

Methods of Cut-Elimination
ανά: Leitsch, Alexander, κ.ά.
Έκδοση: (2011)

Logic: A Brief Course
ανά: Mundici, Daniele
Έκδοση: (2012)

A Course on Mathematical Logic
ανά: Srivastava, Shashi Mohan
Έκδοση: (2013)

Logica: Metodo Breve
ανά: Mundici, Daniele
Έκδοση: (2011)

Cylindric-like Algebras and Algebraic Logic
Έκδοση: (2013)

Logica Universalis Towards a General Theory of Logic /
Έκδοση: (2005)

Logica Universalis Towards a General Theory of Logic /
Έκδοση: (2007)

The Life and Work of Leon Henkin Essays on His Contributions /
Έκδοση: (2014)

Mathematical Problems from Applied Logic I Logics for the XXIst Century /
Έκδοση: (2006)

Logic, Mathematics, and Computer Science Modern Foundations with Practical Applications /
ανά: Nievergelt, Yves
Έκδοση: (2015)

Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume /
Έκδοση: (2014)

Logic for Computer Scientists
ανά: Schöning, Uwe
Έκδοση: (2008)

Mathematical Logic for Computer Science
ανά: Ben-Ari, Mordechai
Έκδοση: (2012)

Mathematical Logic Foundations for Information Science /
ανά: Li, Wei
Έκδοση: (2010)

Mathematical Logic Foundations for Information Science /
ανά: Li, Wei
Έκδοση: (2014)

Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings /
Έκδοση: (2005)

Set Theory Exploring Independence and Truth /
ανά: Schindler, Ralf
Έκδοση: (2014)

Combinatorial Set Theory With a Gentle Introduction to Forcing /
ανά: Halbeisen, Lorenz J.
Έκδοση: (2012)

An Introduction to the Technique of Formative Processes in Set Theory
ανά: Cantone, Domenico, κ.ά.
Έκδοση: (2018)

Ernst Zermelo - Collected Works/Gesammelte Werke Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia /
ανά: Zermelo, Ernst
Έκδοση: (2010)

Set Theory With an Introduction to Real Point Sets /
ανά: Dasgupta, Abhijit
Έκδοση: (2014)

Combinatorial Set Theory With a Gentle Introduction to Forcing /
ανά: Halbeisen, Lorenz J.
Έκδοση: (2017)

Special Topics in Mathematics for Computer Scientists Sets, Categories, Topologies and Measures /
ανά: Doberkat, Ernst-Erich
Έκδοση: (2015)

Probability Logics Probability-Based Formalization of Uncertain Reasoning /
ανά: Ognjanović, Zoran, κ.ά.
Έκδοση: (2016)

Conditionals and Modularity in General Logics
ανά: Gabbay, Dov M., κ.ά.
Έκδοση: (2011)

Reactive Kripke Semantics
ανά: Gabbay, Dov M.
Έκδοση: (2013)

Problems and Theorems in Classical Set Theory
ανά: Komjáth, Péter, κ.ά.
Έκδοση: (2006)

Membrane Computing International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003. Revised Papers /
Έκδοση: (2004)

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
Έκδοση: (2015)

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings /
Έκδοση: (2017)

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday /
Έκδοση: (2005)

Hybrid Logic and its Proof-Theory
ανά: Braüner, Torben
Έκδοση: (2011)

Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik /
ανά: Zermelo, Ernst
Έκδοση: (2013)

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