论文信息 - Topology via Logic - 字舞流文

Topology via Logic

Marcelo P Fiore | M. Fiore

[1] P. Johnstone,et al. The point of pointless topology , 1983 .

[2] Dana S. Scott,et al. Outline of a Mathematical Theory of Computation , 1970 .