Mathematical Problems from Applied Logic I Logics for the XXIst Century

Mathematical Problems from Applied Logic I Logics for the XXIst Century

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Gabbay, Dov M., 1945-
Άλλοι συγγραφείς:	Goncharov, Sergei S., Zakharyaschev, Michael
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	New York, NY Springer Science+Business Media, Inc. 2006
Σειρά:	International Mathematical Series 4
Θέματα:	Logic design Computer science Logic Logic, Symbolic and mathematical Mathematics Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematics of Computing Λογική, Συμβολική και μαθηματική
Διαθέσιμο Online:	http://dx.doi.org/10.1007/0-387-31072-X

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

A Modern Perspective on Type Theory From its Origins until Today
ανά: Kamareddine, Fairouz
Έκδοση: (2005)

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

Logical Tools for Handling Change in Agent-Based Systems
ανά: Gabbay, Dov M., 1945-
Έκδοση: (2010)

Logica Universalis Towards a General Theory of Logic
ανά: Beziau, Jean-Yves
Έκδοση: (2005)

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

Finite Model Theory
ανά: Ebbinghaus, Heinz-Dieter, 1939-
Έκδοση: (2006)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today
ανά: Benthem, Johan
Έκδοση: (2006)

Categories for Software Engineering
ανά: Fiadeiro, JosΓ© Luiz
Έκδοση: (2005)

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

Handbook of Set Theory
ανά: Foreman, Matthew
Έκδοση: (2010)

Natural Deduction, Hybrid Systems and Modal Logics
ανά: Indrzejczak, Andrzej
Έκδοση: (2010)

A Concise Introduction to Mathematical Logic
ανά: Rautenberg, Wolfgang
Έκδοση: (2010)

A Concise Introduction to Mathematical Logic
ανά: Rautenberg, Wolfgang
Έκδοση: (2006)

Function Algebras on Finite Sets A Basic Course on Many-Valued Logic and Clone Theory
ανά: Lau, Dietlinde
Έκδοση: (2006)

Propositional and Predicate Calculus A Model of Argument
ανά: Goldrei, Derek
Έκδοση: (2005)

Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
ανά: Platzer, AndrΓ©
Έκδοση: (2010)

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

18 Unconventional Essays on the Nature of Mathematics
ανά: Hersh, Reuben 1927-
Έκδοση: (2006)

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP
ανά: Dovier, Agostino
Έκδοση: (2010)

A logical Approach to Philosophy Essays in Honour of Graham Solomon
ανά: Devidi, David
Έκδοση: (2006)

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

Logic and the Foundations of Game and Decision Theory β LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
ανά: Bonanno, Giacomo
Έκδοση: (2010)

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
ανά: Governatori, Guido
Έκδοση: (2010)

Cardinal Invariants on Boolean Algebras
ανά: Monk, J. Donald (James Donald), 1930-
Έκδοση: (2010)

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
ανά: Giesl, JΓΌrgen
Έκδοση: (2010)

Logic and Philosophy of Mathematics in the Early Husserl
ανά: Centrone, Stefania
Έκδοση: (2010)

Set Theory Centre de Recerca MatemΓ tica Barcelona, 2003β2004
ανά: Bagaria, Joan
Έκδοση: (2006)

Computer Science β Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
ανά: Ablayev, Farid
Έκδοση: (2010)

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
ανά: Frappier, Marc
Έκδοση: (2010)

Theory and Applications of Satisfiability Testing β SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
ανά: Strichman, Ofer
Έκδοση: (2010)

Additive Number Theory Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson
ανά: Chudnovsky, D. (David), 1947-
Έκδοση: (2010)

Banach Spaces and Descriptive Set Theory: Selected Topics
ανά: Dodos, Pandelis
Έκδοση: (2010)

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
ανά: KratochvΓl, Jan
Έκδοση: (2010)

104 Number Theory Problems From the Training of the USA IMO Team
ανά: Andreescu, Titu
Έκδοση: (2007)

A Theory of Distributed Objects Asynchrony β Mobility β Groups β Components
ανά: Caromel, Denis
Έκδοση: (2005)

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
ανά: Link, Sebastian
Έκδοση: (2010)

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
ανά: Ebert, Christian
Έκδοση: (2010)

Time for Verification Essays in Memory of Amir Pnueli
ανά: Manna, Zohar
Έκδοση: (2010)

Abstraction, Refinement and Proof for Probabilistic Systems
ανά: McIver, Annabelle
Έκδοση: (2005)

The P=NP Question and GΓΆdelβs Lost Letter
ανά: Lipton, Richard J
Έκδοση: (2010)

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

Cannot write session to /tmp/vufind_sessions/sess_4if9o3dj73sncfii62crifj6tb