1
Realizability : an introduction to its categorical side [E-Book] /
“...Studies in logic and the foundations of mathematics ;...”

Full text 
Favorites
Saved in:
2
Residuated lattices : an algebraic glimpse at substructural logics [E-Book] /
“...Studies in logic and the foundations of mathematics ;...”

Full text 
Favorites
Saved in:
3
Lectures on the Curry-Howard isomorphism / [E-Book]
“...Studies in logic and the foundations of mathematics ;...”

Full text 
Favorites
Saved in:
4
Lectures on the Curry-Howard isomorphism [E-Book] /
“...Studies in logic and the foundations of mathematics,...”

Full text 
Favorites
Saved in:
5
Relation algebras [E-Book] /
“...Studies in logic and the foundations of mathematics,...”

Full text 
Favorites
Saved in:
6
Many-dimensional modal logics [E-Book] : theory and applications /
“...Studies in logic and the foundations of mathematics,...”

Full text 
Favorites
Saved in:
7
Relation algebras by games [E-Book] /
Hirsch, R.
2002
“...Studies in logic and the foundations of mathematics,...”

Full text 
Favorites
Saved in:
8
Rudiments of [mu]-calculus [E-Book] /
“...Studies in logic and the foundations of mathematics,...”

Full text 
Favorites
Saved in:
9
Theory of relations [E-Book] /
“...Studies in logic and the foundations of mathematics,...”

Full text 
Favorites
Saved in:
10
Computable structures and the hyperarithmetical hierarchy [E-Book] /
“...Studies in logic and the foundations of mathematics ;...”

Full text 
Favorites
Saved in:
11
Handbook of computability theory [E-Book] /
“...Studies in logic and the foundations of mathematics ;...”

Full text 
Favorites
Saved in:
12
Categorical logic and type theory [E-Book] /
“...Studies in logic and the foundations of mathematics ;...”

Full text 
Favorites
Saved in:
13
Tools and techniques in modal logic [E-Book] /
“...Studies in logic and the foundations of mathematics ;...”

Full text 
Favorites
Saved in:
14
Handbook of recursive mathematics [E-Book] /
“...Studies in logic and the foundations of mathematics ;...”

Full text 
Favorites
Saved in:
15
Handbook of proof theory [E-Book] /
“...Studies in logic and the foundations of mathematics ;...”

Full text 
Favorites
Saved in:
16
Handbook of recursive mathematics [E-Book] /
“...Studies in logic and the foundations of mathematics ;...”

Full text 
Favorites
Saved in:
17
Admissibility of logical inference rules [E-Book] /
“...Studies in logic and the foundations of mathematics ;...”

Full text 
Favorites
Saved in:
18
Logical frameworks for truth and abstraction [E-Book] : an axiomatic study /
“...Studies in logic and the foundations of mathematics ;...”

Full text  Full text 
Favorites
Saved in:
19
Logic, methodology, and philosophy of science IX [E-Book] : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 /
“...Studies in logic and the foundations of mathematics ;...”

Full text 
Favorites
Saved in:
20
Hausdorff gaps and limits [E-Book] /
“...Studies in logic and the foundations of mathematics ;...”

Full text 
Favorites
Saved in:

Narrow Search Results