Sciweavers

BIRTHDAY
1987
Springer
13 years 9 months ago
Existential Fixed-Point Logic
Andreas Blass, Yuri Gurevich