Logic: A Brief Course

Logic: A Brief Course

This short book, geared towards undergraduate students of computer science and mathematics, is specifically designed for a first course in mathematical logic. A proof of Gödel's completeness theorem and its main consequences is given using Robinson's completeness theorem and Gödel's c...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Mundici, Daniele (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Milano : Springer Milan : Imprint: Springer, 2012.
Σειρά:	UNITEXT,
Θέματα:	Mathematics. Mathematical logic. Semantics. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

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

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

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

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

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

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

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

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

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)

Institution-independent Model Theory
ανά: Diaconescu, Răzvan
Έκδοση: (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)

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

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

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

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

A Course in Mathematical Logic for Mathematicians
ανά: Manin, Yu. I.
Έκδοση: (2010)

A Course on Mathematical Logic
ανά: Srivastava, S. M.
Έκδοση: (2008)

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

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

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

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

A New Perspective on Nonmonotonic Logics
ανά: Gabbay, Dov M., κ.ά.
Έκδοση: (2016)

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)

Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
ανά: Geldsetzer, Lutz, κ.ά.
Έκδοση: (2013)

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

Advanced Łukasiewicz calculus and MV-algebras
ανά: Mundici, D.
Έκδοση: (2011)

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings /
Έκδοση: (2009)

Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings /
Έκδοση: (2011)

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
Έκδοση: (2013)

A Course on Borel Sets
ανά: Srivastava, S. M.
Έκδοση: (1998)

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

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

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Έκδοση: (2013)

Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics, and Language
Έκδοση: (2015)

Logicism, Intuitionism, and Formalism What has Become of Them? /
Έκδοση: (2009)

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

Cannot write session to /tmp/vufind_sessions/sess_m1csforb8ftiv2iqqaprqmjca7