Fragments of First-Order Logic Pratt-Hartmann, Ian 9780192867964 Oxford Logic Guides Innbundet 30.03.2023 Engelsk I salg
Consequence Relations : An Introduction to the Lindenbaum-Tarski Method Citkin, Alex Muravitsky, Alexei 9780192866417 Oxford Logic Guides Innbundet 29.07.2022 Engelsk I salg
Simplicity Theory Kim, Byunghan 9780198567387 Oxford Logic Guides Innbundet 17.10.2013 Engelsk I salg
Computability and Randomness Nies, Andre 9780199652600 Oxford Logic Guides Heftet 29.03.2012 Engelsk Produseres på bestilling
Set Theory : Boolean-Valued Models and Independence Proofs Bell, John L. 9780199609161 Oxford Logic Guides Heftet 05.05.2011 Engelsk Produseres på bestilling
Category Theory Awodey, Steve 9780199587360 Oxford Logic Guides Innbundet 17.06.2010 Engelsk Produseres på bestilling
Category Theory Awodey, Steve 9780199237180 Oxford Logic Guides Heftet 17.06.2010 Engelsk Produseres på bestilling
Computability and Randomness Nies, Andre 9780199230761 Oxford Logic Guides Innbundet 29.01.2009 Engelsk Produseres på bestilling
The Structure of Models of Peano Arithmetic Schmerl, James Kossak, Roman 9780198568278 Oxford Logic Guides Innbundet 29.06.2006 Engelsk I salg
From Sets and Types to Topology and Analysis : Towards practicable foundations for constructive mathematics Crosilla, Laura Schuster, Peter 9780198566519 Oxford Logic Guides Innbundet 06.10.2005 Engelsk I salg
Interpolation and Definability : Modal and Intuitionistic Logics Gabbay, Dov M. Maksimova, Larisa 9780198511748 Oxford Logic Guides Innbundet 12.05.2005 Engelsk I salg
Reductive Logic and Proof-search : Proof Theory, Semantics, and Control Pym, David J. Ritter, Eike 9780198526339 Oxford Logic Guides Innbundet 29.04.2004 Engelsk I salg
Sketches of an Elephant: A Topos Theory Compendium : Volume 2 Johnstone, Peter T. 9780198515982 Oxford Logic Guides Innbundet 12.09.2002 Engelsk Produseres på bestilling
Sketches of an Elephant: A Topos Theory Compendium : Volume 1 Johnstone, Peter T. 9780198534259 Oxford Logic Guides Innbundet 12.09.2002 Engelsk Midlertidig utsolgt
Change, Choice and Inference : A study of Belief Revision and Nonmonotonic Reasoning Rott, Hans 9780198503064 Oxford Logic Guides Innbundet 11.10.2001 Engelsk I salg
Algebraic Methods in Philosophical Logic Hardegree, Gary Dunn, J. Michael 9780198531920 Oxford Logic Guides Innbundet 28.06.2001 Engelsk I salg
Elements of Intuitionism Dummett, Michael 9780198505242 Oxford Logic Guides Innbundet 15.06.2000 Engelsk Produseres på bestilling
Temporal Logic: Volume 2 Gabbay, Dov M Finger, M. Reynolds, M. 9780198537687 Oxford Logic Guides Innbundet 30.03.2000 Engelsk Produseres på bestilling
Twenty Five Years of Constructive Type Theory Sambin, Giovanni Smith, Jan M. 9780198501275 Oxford Logic Guides Innbundet 15.10.1998 Engelsk Produseres på bestilling
Modal Logic Chagrov, Alexander Zakharyaschev, Michael 9780198537793 Oxford Logic Guides Innbundet 27.03.1997 Engelsk I salg
Geometric Stability Theory Pillay, Anand 9780198534372 Oxford Logic Guides Innbundet 12.09.1996 Engelsk I salg
Labelled Deductive Systems : Volume 1 Gabbay, Dov M. 9780198538332 Oxford Logic Guides Innbundet 05.09.1996 Engelsk I salg
Set Theory with a Universal Set : Exploring an Untyped Universe Forster, T. E. 9780198514770 Oxford Logic Guides Innbundet 24.08.1995 Engelsk I salg
Elementary Categories, Elementary Toposes McLarty 9780198514732 Oxford Logic Guides Heftet 27.04.1995 Engelsk I salg
Features and Fluents : The Representation of Knowledge about Dynamical Systems, Volume 1 Sandewall, Erik 9780198538455 Oxford Logic Guides Innbundet 05.01.1995 Engelsk I salg
Groups of Finite Morley Rank Borovik, Alexandre Nesin, Ali 9780198534457 Oxford Logic Guides Innbundet 01.12.1994 Engelsk I salg
Cardinal Arithmetic Shelah, Saharon 9780198537854 Oxford Logic Guides Innbundet 17.11.1994 Engelsk Produseres på bestilling
Diagonalization and Self-Reference Smullyan, Raymond M. 9780198534501 Oxford Logic Guides Innbundet 01.09.1994 Engelsk Produseres på bestilling
Introduction to Logic and to the Methodology of Deductive Sciences Tarski, The late Alfred 9780195044720 Oxford Logic Guides Innbundet 24.03.1994 Engelsk I salg
Many-Valued Logics Malinowski, Grzegorz 9780198537878 Oxford Logic Guides Innbundet 16.12.1993 Engelsk I salg
Recursion Theory for Metamathematics Smullyan, Raymond M. 9780195082326 Oxford Logic Guides Innbundet 15.07.1993 Engelsk Produseres på bestilling
Arithmetic, Proof Theory, and Computational Complexity Krajicek, Jan Clote, Peter 9780198536901 Oxford Logic Guides Innbundet 06.05.1993 Engelsk I salg
Gödel''s Incompleteness Theorems Smullyan, Raymond M. 9780195046724 Oxford Logic Guides Innbundet 22.10.1992 Engelsk I salg
Relative Category Theory and Geometric Morphisms : A Logical Approach Rowbottom, Frederick Chapman, Jonathan 9780198534341 Oxford Logic Guides Innbundet 06.02.1992 Engelsk Midlertidig utsolgt
