Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Dov M. Gabbay, Dov M Gabbay, Dov M. Gabbay, Dov M. (Augustus De Morgan Professor Emeri Gabbay, Dov M. (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic Gabbay, Dov M. (King's College London Gabbay... - Quantification in Nonclassical Logic
Dov M. Gabbay, Dov M Gabbay, Dov M. Gabbay, Dov M. (Augustus De Morgan Professor Emeri Gabbay, Dov M. (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic Gabbay, Dov M. (King's College London Gabbay... Quantification in Nonclassical Logic Inglese 09.06.2009 Copertina rigida Fr. 275.00 1-3 settimane (non disponibile a breve termine)
Jaap van Oosten, Jaap van Oosten, Jaap van Oosten, Jaap (Utrecht University van Oosten - Realizability
Jaap van Oosten, Jaap van Oosten, Jaap van Oosten, Jaap (Utrecht University van Oosten Realizability Inglese 06.03.2008 Copertina rigida Fr. 215.00 1-3 settimane (non disponibile a breve termine)
R. Fraisse, R. (C/o Le Cheverny - 1 Fraisse, Roland Fraisse, Fraisse R. - Theory of Relations
R. Fraisse, R. (C/o Le Cheverny - 1 Fraisse, Roland Fraisse, Fraisse R. Theory of Relations Inglese 15.12.2000 Copertina rigida Fr. 240.00 1-3 settimane (non disponibile a breve termine)
Lev Beklemishev, D. van Dalen, D van Dalen, D. van Dalen, Dirk van Dalen, A S Troelstra... - Provability, Computability and Reflection
Lev Beklemishev, D. van Dalen, D van Dalen, D. van Dalen, Dirk van Dalen, A S Troelstra... Provability, Computability and Reflection Inglese 01.01.1988 Tascabile Fr. 85.00 1-3 settimane (non disponibile a breve termine)
Nikolaos Galatos, Nikolaos (School of Information Science Galatos, Peter (Chapman University Jipsen, Tomasz (Australian National University Kowalski, Hiroakira (Japan Advanced Institute of Science and Technology Ono - Residuated Lattices: An Algebraic Glimpse At Substructural Logics
Nikolaos Galatos, Nikolaos (School of Information Science Galatos, Peter (Chapman University Jipsen, Tomasz (Australian National University Kowalski, Hiroakira (Japan Advanced Institute of Science and Technology Ono Residuated Lattices: An Algebraic Glimpse At Substructural Logics 25.04.2007 Copertina rigida Fr. 185.00 1-3 settimane (non disponibile a breve termine)
R. (University College Hirsch, robin Hirsch, I. (Imperial College Hodkinson, Ian Hodkinson - Relation Algebras By Games
R. (University College Hirsch, robin Hirsch, I. (Imperial College Hodkinson, Ian Hodkinson Relation Algebras By Games Inglese 15.08.2002 Copertina rigida Fr. 195.00 1-3 settimane (non disponibile a breve termine)
D. M. Gabbay, Dov M. Gabbay, Dov M. (King's College London Gabbay, A. Kurucz, A. (King's College Kurucz, A. (King''s College Kurucz... - Many-Dimensional Modal Logics: Theory and Applications
D. M. Gabbay, Dov M. Gabbay, Dov M. (King's College London Gabbay, A. Kurucz, A. (King's College Kurucz, A. (King''s College Kurucz... Many-Dimensional Modal Logics: Theory and Applications Inglese 21.10.2003 Copertina rigida Fr. 215.00 1-3 settimane (non disponibile a breve termine)
S. R. Buss, Samuel R. Buss, S. R. Buss, S.R. Buss, S.R. (Dept. of Mathematics and Computer Science Buss - Handbook of Proof Theory
S. R. Buss, Samuel R. Buss, S. R. Buss, S.R. Buss, S.R. (Dept. of Mathematics and Computer Science Buss Handbook of Proof Theory Inglese 09.07.1998 Copertina rigida Fr. 219.00 1-3 settimane (non disponibile a breve termine)
B. Jacobs, B. (Computing Science Institute Jacobs, Bart Jacobs, Jacobs B. - Categorical Logic and Type Theory
B. Jacobs, B. (Computing Science Institute Jacobs, Bart Jacobs, Jacobs B. Categorical Logic and Type Theory Inglese 10.05.2001 Tascabile Fr. 165.00 1-3 settimane (non disponibile a breve termine)
K. Kunen, Kenneth Kunen - Set Theory an Introduction to Independence Proofs
K. Kunen, Kenneth Kunen Set Theory an Introduction to Independence Proofs Inglese 01.12.1983 Copertina rigida Fr. 86.00 1-3 settimane (non disponibile a breve termine)
A. Cantini, A. (University of Florence Cantini, Andrea Cantini, CANTINI A - Logical Frameworks for Truth and Abstraction
A. Cantini, A. (University of Florence Cantini, Andrea Cantini, CANTINI A Logical Frameworks for Truth and Abstraction Inglese 01.03.1996 Copertina rigida Fr. 169.00 1-3 settimane (non disponibile a breve termine)
E. R. Griffor, E.R. Griffor, E.r. (Communication Advisors Griffor, Edward R. Griffor, GRIFFOR E R, E. R. Griffot... - Handbook of Computability Theory
E. R. Griffor, E.R. Griffor, E.r. (Communication Advisors Griffor, Edward R. Griffor, GRIFFOR E R, E. R. Griffot... Handbook of Computability Theory Inglese 01.10.1999 Copertina rigida Fr. 219.00 1-3 settimane (non disponibile a breve termine)
Roger Maddux, Roger Duncan Maddux, Roger Duncan (Department of Mathematics Maddux - Relation Algebras
Roger Maddux, Roger Duncan Maddux, Roger Duncan (Department of Mathematics Maddux Relation Algebras Inglese 15.05.2006 Copertina rigida Fr. 239.00 1-3 settimane (non disponibile a breve termine)
P. Odifreddi, P. (University of Turin Odifreddi, P. G. Odifreddi, Piergiorgio Odifreddi, Odifreddi Piergiorgio - Classical Recursion Theory, Volume II
P. Odifreddi, P. (University of Turin Odifreddi, P. G. Odifreddi, Piergiorgio Odifreddi, Odifreddi Piergiorgio Classical Recursion Theory, Volume II Inglese 01.09.1999 Copertina rigida Fr. 215.00 1-3 settimane (non disponibile a breve termine)
M. Kracht, M. (Freie Universitat Berlin Kracht, Marcus Kracht, KRACHT MARCUS, Arjen Sevenster - Tools and Techniques in Modal Logic
M. Kracht, M. (Freie Universitat Berlin Kracht, Marcus Kracht, KRACHT MARCUS, Arjen Sevenster Tools and Techniques in Modal Logic Inglese 01.06.1999 Copertina rigida Fr. 185.00 1-3 settimane (non disponibile a breve termine)
A. (C/o Labri Universite Bordeaux I 351 Arnold, Andre Arnold, Damian Niwinski, A. (C/o Labri Universite Bordeaux I 351 Arnold, D. (Institute of Informatics Niwinski - Rudiments of Calculus
A. (C/o Labri Universite Bordeaux I 351 Arnold, Andre Arnold, Damian Niwinski, A. (C/o Labri Universite Bordeaux I 351 Arnold, D. (Institute of Informatics Niwinski Rudiments of Calculus Inglese Copertina rigida Fr. 125.00 In fase di riedizione, attualmente non disponibile
J. (University of Amsterdam Van Benthem - Language in Action
J. (University of Amsterdam Van Benthem Language in Action Inglese Copertina rigida Fr. 119.00 In fase di riedizione, attualmente non disponibile
P. (University of Turin Odifreddi - Classical Recursion Theory
P. (University of Turin Odifreddi Classical Recursion Theory Inglese Tascabile Fr. 115.00 In fase di riedizione, attualmente non disponibile
V.v. (Krasnoyarsk University Rybakov - Admissibility of Logical Inference Rules
V.v. (Krasnoyarsk University Rybakov Admissibility of Logical Inference Rules Inglese Copertina rigida Fr. 179.00 In fase di riedizione, attualmente non disponibile
C.J. Ash, C.j. Knight Ash, J. (University of Notre Dame Knight - Computable Structures and the Hyperarithmetical Hierarchy
C.J. Ash, C.j. Knight Ash, J. (University of Notre Dame Knight Computable Structures and the Hyperarithmetical Hierarchy Inglese Copertina rigida Fr. 165.00 In fase di riedizione, attualmente non disponibile