Call Number (LC) Title Results
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
QA9.5 .B36 1984eb The lambda calculus its syntax and semantics / 1
QA9.5 .B37 2013eb Lambda calculus with types / 1
QA9.5 .B56 2012eb Combinatory logic pure, applied and typed /
Combinatory logic : pure, applied and typed / 		2
QA9.5 .C66 1958 Combinatory logic 1
QA9.5 .C66 1995 The combinatory programme / 1
QA9.5 .C66 v.2eb Combinatory logic. 1