Sciweavers

31
Voted
BIRTHDAY
1987
Springer
15 years 3 months ago
Existential Fixed-Point Logic
Andreas Blass, Yuri Gurevich