Vickers Steven

Topology via logic Vickers Steven - Cambridge Cambridge University Press 1989 - 200p - Cambridge tracts in theoretical computer science; 6 .

Bibliography 191-195p; Index 196-200p

0521576512 (pbk)

4888

Selectbook, Textual


Analysis
Topology and Logic
Mathematics

B3160aR4, M9