Studies in logic and the foundations of mathematics

• 関連文献: 212件

Studies in logic and the foundations of mathematics

North-Holland

• カーリル
• WorldCat

Publisher changes to Elsevier

NCID:AA00851874

関連文献: 212件中  1-20を表示

• 1

  Quantification in nonclassical logic

  D.M. Gabbay, V.B. Shehtman, D.P. Skvortsov

  Elsevier c2009 Studies in logic and the foundations of mathematics v. 153

  v. 1

  所蔵館24館

• 2

  Realizability : an introduction to its categorical side

  Jaap van Oosten

  Elsevier 2008 Studies in logic and the foundations of mathematics v. 152

  所蔵館27館

• 3

  Residuated lattices : an algebraic glimpse at substructural logics

  Nikolaos Galatos ... [et al.]

  Elsevier 2007 1st ed Studies in logic and the foundations of mathematics v. 151

  所蔵館31館

• 4

  Set theory : an introduction to independence proofs

  Kenneth Kunen

  Elsevier 2006, c1980 Studies in logic and the foundations of mathematics v. 102

  : [pbk.]

  所蔵館14館

• 5

  Lectures on the Curry-Howard isomorphism

  Morten Heine Sørensen, Paweł Urzyczyn

  Elsevier 2006 Studies in logic and the foundations of mathematics v. 149

  所蔵館44館

• 6

  Relation algebras

  Roger D. Maddux

  Elsevier 2006 1st ed Studies in logic and the foundations of mathematics v. 150

  所蔵館24館

• 7

  Many-dimensional modal logics : theory and applications

  D.M. Gabbay ... [et al.]

  Elsevier North Holland 2003 1st ed Studies in logic and the foundations of mathematics v. 148

  所蔵館28館

• 8

  Relation algebras by games

  Robin Hirsch, Ian Hodkinson

  Elsevier 2002 Studies in logic and the foundations of mathematics v. 147

  所蔵館26館

• 9

  Categorical logic and type theory

  Bart Jacobs

  Elsevier Science 2001, c1999 Studies in logic and the foundations of mathematics v. 141

  : hbk , : pbk

  所蔵館12館

• 10

  Rudiments of μ-calculus

  A. Arnold, D. Niwiński

  Elsevier 2001 Studies in logic and the foundations of mathematics v. 146

  所蔵館29館

• 11

  Theory of relations

  Roland Fraïssé ; with an appendix by Norbert Sauer

  Elsevier 2000 Rev. ed Studies in logic and the foundations of mathematics v. 145

  所蔵館28館

• 12

  Computable structures and the hyperarithmetical hierarchy

  C.J. Ash, J. Knight

  Elsevier Science c2000 Studies in logic and the foundations of mathematics v. 144

  所蔵館31館

• 13

  Classical recursion theory : the theory of functions and sets of natural numbers

  Piergiorgio Odifreddi

  Elsevier 1999 2nd impression Studies in logic and the foundations of mathematics v. 125

  : pbk.

  所蔵館2館

• 14

  Handbook of computability theory

  edited by Edward R. Griffor

  Elsevier 1999 Studies in logic and the foundations of mathematics v. 140

  所蔵館43館

• 15

  Classical recursion theory

  P.G. Odifreddi

  Elsevier 1999 Studies in logic and the foundations of mathematics v. 143

  v. 2

  所蔵館31館

• 16

  Tools and techniques in modal logic

  Marcus Kracht

  Elsevier 1999 1st ed Studies in logic and the foundations of mathematics v. 142

  所蔵館40館

• 17

  Categorical logic and type theory

  Bart Jacobs

  Elsevier Science 1999 Studies in logic and the foundations of mathematics v. 141

  所蔵館36館

• 18

  Recursive algebra, analysis and combinatorics

  Elsevier 1998 Studies in logic and the foundations of mathematics v. 139 . Handbook of recursive mathematics / edited by Yu. L. Ershov ... [et al.] ; associate editor, V.M. Marek ; v. 2

  所蔵館32館

• 19

  Recursive model theory

  Elsevier 1998 Studies in logic and the foundations of mathematics v. 138 . Handbook of recursive mathematics / edited by Yu. L. Ershov ... [et al.] ; associate editor, V.M. Marek ; v. 1

  所蔵館32館

• 20

  Handbook of proof theory

  edited by Samuel R. Buss

  Elsevier 1998 Studies in logic and the foundations of mathematics v. 137

  所蔵館64館

• 1
• 2
• 3
• 4
• 5
• 6
• ...
• 11
• 1 / 11