FROM SETS AND TYPES TO TOPOLOGY AND ANALYSIS: TOWARDS PRACTICABLE FOUNDATIONS FOR...; ED. BY LAURA CROSILLA.
Series: OXFORD LOGIC GUIDES; 48
Publisher: CLARENDON/OXFORD
Place of publication: OXFORD
Language: und