Logica Volume 1 Dimostrazioni e modelli al primo ordine /

Logica Volume 1 Dimostrazioni e modelli al primo ordine /

Gli autori, basandosi sulla loro esperienza di ricerca, propongono in due volumi un testo di riferimento per acquisire una solida formazione specialistica nella logica. Nei due volumi vengono presentati in maniera innovativa e rigorosa temi di logica tradizionalmente affrontati nei corsi universitar...

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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 Logic Foundations for Information Science /
ανά: Li, Wei
Έκδοση: (2010)

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

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)

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 Volume I - Set Theory, Miscellanea / Band I - Mengenlehre, Varia /
ανά: Zermelo, Ernst
Έκδοση: (2010)

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

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

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)

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)

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
Έκδοση: (2009)

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

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)

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

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)

Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings /
Έκδοση: (2009)

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