Devlin, Keith

Logic and information - Cambridge: Cambridge University Press, 1991 - xii, 307p.

0-521-41031-4


Logic

Situation theory

D 510+007 / N1