|
Adámek,
J.
Locally presentable and accessible categories 
|
| Algorithmic
game theory / ed. by N. Nisan, T. Roughgarden, E. Tardos, and V. V.
Vazirani
|
|
Bergeron,
F. Combinatorial species and tree-like structures
|
Bridges, D.
Varieties of constructive mathematics
|
Chaitin,
G.J. Algorithmic information theory
|
|
Ciesielski,
K. Set theory for the working mathematician
|
Crole, R.L.
Categories for types
|
|
Dömösi, P.
Algebraic theory of automata networks : an introduction
|
|
Feijs, L.
M. G. Formal specification and design
|
|
Fredsøe, J.
Mechanics of coastal sediment transport
|
|
Hajnal, A.
Set theory
|
|
Hindley, J.
R. Basic simple type theory
|
|
Hintikka,
J. The principles of mathematics revisited
|
|
Holcombe,
W. M. L. Algebraic automata theory
|
|
Jacky, J.
Model-based software testing and analysis with C♯
|
|
Johnstone,
P. T. Notes on logic and set theory
|
|
Johnstone,
P.T. Stone spaces
|
|
Joyal, A.
Algebraic set theory
|
|
Kaye, R.
The mathematics of logic : a guide to completeness theorems and their
applications
|
|
Lambek, J.
Introduction to higher order categorical logic
|
|
Lint, J.H.
van. A course in combinatorics
|
|
Manes, E.G.
Predicate transformer semantics
|
|
Melham, T.
F. Higher order logic and hardware verification
|
|
Skillicorn,
D. Foundations of parallel programming
|
|
Smith, P.
An introduction to Gödel's Theorems
|
|
Taylor, P.
Practical foundations of mathematics
|
|
Wegener, I.
Branching programs and binary decision diagrams : theory and
applications
|
