LOGIC COLLOQUIUM ''73.

Bok av Rose & Shepherdson (ed)