Call Number (LC) Title Results
QA9.46 .P76 1996eb Proof theory of modal logic / 1
QA9.46 .R55 1993 Diamonds and defaults : studies in pure and applied intensional logic / 1
QA9.46 .S6 1985 Self reference and modal logic / 1
QA9.47 .D84 2000 Elements of intuitionism. 1
QA9.47 .F68 1965 The foundations of intuitionistic mathematics 1
QA9.47 .G32 Semantical investigations in Heyting's intuitionistic logic 1
QA9.47 .I57 2006 Intuition and the axiomatic method / 1
QA9.47 .I58 1956 Intuitionism an introduction / 1
QA9.47 .I58 1966 Intuitionism an introduction / 1
QA9.47 .L44 Absoluteness of intuitionistic logic / 1
QA9.47 .M56 2000 A short introduction to intuitionistic logic / 1
QA9.47 .M56 2000eb A short introduction to intuitionistic logic /
A short introduction to intuitionistic logic 		2
QA9.47 .O54 2008 One hundred years of intuitionism (1907-2007) : the Cerisy conference / 1
QA9.47 .O54 2008eb One hundred years of intuitionism (1907-2007) : the Cerisy conference / 1
QA9.47 .T77 Choice sequences : a chapter of intuitionistic mathematics / 2
QA9.5 Semantics of the probabilistic typed lambda calculus : Markov chain semantics, termination behavior, and denotational semantics /
Lambda Calculus with Types / 		2
QA9.5 .A424 1998 Domains and lambda-calculi / 1
QA9.5 .A43 1998 Domains and Lambda-Calculi / 1
QA9.5 .B36 The lambda calculus : its syntax and semantics / 1
QA9.5 .B36 1984 The lambda calculus : its syntax and semantics / 1