Logica: Metodo Breve

Logica: Metodo Breve

Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per fa...

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

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

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

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

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

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

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

Logica Volume 2 - Incompletezza, teoria assiomatica degli insiemi /
ανά: Abrusci, Vito Michele, κ.ά.
Έκδοση: (2018)

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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)

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)

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

Mathematical Linguistics
ανά: Kornai, András
Έκδοση: (2008)

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings /
Έκδοση: (2011)

Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings /
Έκδοση: (2011)

Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
Έκδοση: (2014)

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /
Έκδοση: (2009)

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings /
Έκδοση: (2013)

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

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