Studies in logic and the foundations of mathematics

Admissibility of logical inference rules / Vladimir V. Rybakovschema:ProductModel Categorical logic and type theory / Bart Jacobsschema:ProductModel Classical recursion theory / P.G. Odifreddischema:ProductModel Computable structures and the hyperarithmetical hierarchy / C.J. Ash, J. Knightschema:ProductModel Handbook of computability theory / edited by Edward R. Grifforschema:ProductModel Handbook of recursive mathematics / Yu.L. Ershovschema:ProductModel Handbook of recursive mathematics / Yu.L. Ershovschema:ProductModel Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczynschema:ProductModel Logic, methodology, and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 / edited by Dag Prawitz, Brian Skyrms, Dag Westerståhlschema:ProductModel Logical frameworks for truth and abstraction : an axiomatic study / Andrea Cantinischema:ProductModel Many-dimensional modal logics : theory and applications / D.M. Gabbay ... [et al.]schema:ProductModel Quantification in nonclassical logicschema:ProductModel Relation algebras / Roger D. Madduxschema:ProductModel Relation algebras by games / Robin Hirsch, Ian Hodkinsonschema:ProductModel Residuated lattices : an algebraic glimpse at substructural logics / Nikolaos Galatos ... [et al.]schema:ProductModel Rudiments of →m⇋-calculus / A. Arnold, D. Niwińskischema:ProductModel Theory of relations / Roland Fraïssé ; with an appendix by Norbert Sauerschema:ProductModel Tools and techniques in modal logic / Marcus Krachtschema:ProductModel

Studies in logic and the foundations of mathematics / ed. J. Barwise ... [et al.]schema:ProductModel