Cargando…

Notes on Set Theory

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor principal:	Moschovakis, Yiannis (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	New York, NY : Springer New York : Imprint: Springer, 2006.
Edición:	2nd ed. 2006.
Colección:	Undergraduate Texts in Mathematics,
Temas:	Mathematical logic. Machine theory. Mathematical Logic and Foundations. Formal Languages and Automata Theory.
Acceso en línea:	Texto Completo

Ejemplares similares

Institution-independent Model Theory
por: Diaconescu, Razvan
Publicado: (2008)

Dependence Logic Theory and Applications /
Publicado: (2016)

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

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

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

Methods of Cut-Elimination
por: Baaz, Matthias, et al.
Publicado: (2011)

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

A Course on Mathematical Logic
por: Srivastava, Shashi Mohan
Publicado: (2013)

Logic: a Brief Course
por: Mundici, Daniele
Publicado: (2012)

Logica: Metodo Breve
por: Mundici, Daniele
Publicado: (2011)

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

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

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

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

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

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

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

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

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

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

Transactions on Petri Nets and Other Models of Concurrency III
Publicado: (2009)

Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings /
Publicado: (2009)

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013 /
Publicado: (2015)

Hybrid Logic and its Proof-Theory
por: Braüner, Torben
Publicado: (2011)

Freedom and Enforcement in Action A Study in Formal Action Theory /
por: Czelakowski, Janusz
Publicado: (2015)

Mathematical Linguistics
por: Kornai, Andras
Publicado: (2008)

Advances in Proof-Theoretic Semantics
Publicado: (2016)

Truth and Falsehood An Inquiry into Generalized Logical Values /
por: Shramko, Yaroslav, et al.
Publicado: (2012)

Advances in Natural Deduction A Celebration of Dag Prawitz's Work /
Publicado: (2014)

One Hundred Prisoners and a Light Bulb
por: van Ditmarsch, Hans, et al.
Publicado: (2015)

Mathematical Logic Foundations for Information Science /
por: Li, Wei
Publicado: (2010)

Mathematical Logic Foundations for Information Science /
por: Li, Wei
Publicado: (2014)

Logic for Computer Scientists
por: Schöning, Uwe
Publicado: (2008)

Mathematical Logic for Computer Science
por: Ben-Ari, Mordechai
Publicado: (2012)

Quantum Physics, Fuzzy Sets and Logic Steps Towards a Many-Valued Interpretation of Quantum Mechanics /
por: Pykacz, Jarosław
Publicado: (2015)

Reactive Kripke Semantics
por: Gabbay, Dov M.
Publicado: (2013)

Probability Logics Probability-Based Formalization of Uncertain Reasoning /
por: Ognjanović, Zoran, et al.
Publicado: (2016)

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

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings /
Publicado: (2007)

Information and Knowledge A Constructive Type-theoretical Approach /
por: Primiero, Giuseppe
Publicado: (2008)

Cannot write session to /tmp/vufind_sessions/sess_4ji2m1bb2f0vs9uan67ue62lht