Sciweavers

BIRTHDAY
1987
Springer
14 years 8 hour ago
Existential Fixed-Point Logic
Andreas Blass, Yuri Gurevich