Languages
Subject
Format
Availabity
Authors

Search result

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 English 09.06.2009 Hardback Fr. 275.00 1-3 weeks (not available at short notice)
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 English 06.03.2008 Hardback Fr. 215.00 1-3 weeks (not available at short notice)
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 English 15.12.2000 Hardback Fr. 240.00 1-3 weeks (not available at short notice)
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 English 01.01.1988 Paperback / Softback Fr. 85.00 1-3 weeks (not available at short notice)
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 English 15.08.2002 Hardback Fr. 195.00 1-3 weeks (not available at short notice)
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 English 21.10.2003 Hardback Fr. 215.00 1-3 weeks (not available at short notice)
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 English 09.07.1998 Hardback Fr. 219.00 1-3 weeks (not available at short notice)
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 English 10.05.2001 Paperback / Softback Fr. 165.00 1-3 weeks (not available at short notice)
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 English 15.05.2006 Hardback Fr. 239.00 1-3 weeks (not available at short notice)
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 English 01.09.1999 Hardback Fr. 215.00 1-3 weeks (not available at short notice)
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 English 01.10.1999 Hardback Fr. 219.00 1-3 weeks (not available at short notice)
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 English 01.06.1999 Hardback Fr. 185.00 1-3 weeks (not available at short notice)
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 English 01.03.1996 Hardback Fr. 169.00 1-3 weeks (not available at short notice)
Morten Heine Sørensen, M. H. Urzyczyn Sorensen, Morten Heine Sorensen, Morten Heine Urzyczyn Sorensen, Morten Heine Sørensen, SORENSEN M H URZYCZYN P... - Lectures on the Curry-Howard Isomorphism
Morten Heine Sørensen, M. H. Urzyczyn Sorensen, Morten Heine Sorensen, Morten Heine Urzyczyn Sorensen, Morten Heine Sørensen, SORENSEN M H URZYCZYN P... Lectures on the Curry-Howard Isomorphism English 04.07.2006 Hardback Fr. 205.00 1-3 weeks (not available at short notice)
K. Kunen, Kenneth Kunen - Set Theory an Introduction to Independence Proofs
K. Kunen, Kenneth Kunen Set Theory an Introduction to Independence Proofs English 01.12.1983 Hardback Fr. 86.00 1-3 weeks (not available at short notice)
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 Hardback Fr. 185.00 1-3 weeks (not available at short notice)
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 English Hardback Fr. 125.00 New edition in preparation, currently unavailable
J. (University of Amsterdam Van Benthem - Language in Action
J. (University of Amsterdam Van Benthem Language in Action English Hardback Fr. 119.00 New edition in preparation, currently unavailable
P. (University of Turin Odifreddi - Classical Recursion Theory
P. (University of Turin Odifreddi Classical Recursion Theory English Paperback / Softback Fr. 115.00 New edition in preparation, currently unavailable
V.v. (Krasnoyarsk University Rybakov - Admissibility of Logical Inference Rules
V.v. (Krasnoyarsk University Rybakov Admissibility of Logical Inference Rules English Hardback Fr. 179.00 New edition in preparation, currently unavailable