-
1
Opera omnia Desiderii Erasmi Roterodami : Ordinis Quinti Tomus Sextus.
Published 2008“…Studies in logic and the foundations of mathematics.…”
CONNECT
Electronic eBook -
2
Logical frameworks for truth and abstraction : an axiomatic study /
Published 1996“…Studies in logic and the foundations of mathematics ;…”
CONNECT
Electronic eBook -
3
Categorical logic and type theory /
Published 1999“…Studies in logic and the foundations of mathematics ;…”
CONNECT
Electronic eBook -
4
Handbook of computability theory /
Published 1999“…Studies in logic and the foundations of mathematics ;…”
CONNECT
Electronic eBook -
5
Relation algebras /
Published 2006“…Studies in logic and the foundations of mathematics ;…”
CONNECT
Electronic eBook -
6
Tools and techniques in modal logic /
Published 1999“…Studies in logic and the foundations of mathematics ;…”
CONNECT
Electronic eBook -
7
Theory of relations /
Published 2000“…Studies in logic and the foundations of mathematics ;…”
CONNECT
Electronic eBook -
8
Relation algebras by games /
Published 2002“…Studies in logic and the foundations of mathematics ;…”
CONNECT
Electronic eBook -
9
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, 1...
Published 1994“…Studies in logic and the foundations of mathematics ;…”
CONNECT
Electronic Conference Proceeding eBook -
10
Many-dimensional modal logics : theory and applications /
Published 2003“…Studies in logic and the foundations of mathematics ;…”
CONNECT
Electronic eBook -
11
Admissibility of logical inference rules /
Published 1997“…Studies in logic and the foundations of mathematics ;…”
CONNECT
Electronic eBook -
12
Handbook of proof theory /
Published 1998“…Studies in logic and the foundations of mathematics ;…”
CONNECT
Electronic eBook -
13
Rudiments of [mu]-calculus /
Published 2001“…Studies in logic and the foundations of mathematics ;…”
CONNECT
Electronic eBook -
14
Computable structures and the hyperarithmetical hierarchy /
Published 2000“…Studies in logic and the foundations of mathematics ;…”
CONNECT
Electronic eBook -
15
Handbook of recursive mathematics /
Published 1998“…Studies in logic and the foundations of mathematics ;…”
CONNECT
Electronic eBook -
16
Classical recursion theory : the theory of functions and sets of natural numbers /
Published 1989“…Studies in logic and the foundations of mathematics ;…”
CONNECT
Electronic eBook -
17
Handbook of recursive mathematics /
Published 1998“…Studies in logic and the foundations of mathematics ;…”
CONNECT
Electronic eBook -
18
Realizability : an introduction to its categorical side /
Published 2008“…Studies in logic and the foundations of mathematics ;…”
CONNECT
Electronic eBook -
19
Equivalents of the axiom of choice, II /
Published 1985“…Studies in logic and the foundations of mathematics ;…”
CONNECT
Electronic eBook -
20
Large infinitary languages : model theory /
Published 1975“…Studies in logic and the foundations of mathematics ;…”
CONNECT
Electronic eBook