44] Giovanni Sambin. Intuitionistic Formal Spaces - A First Communication (1965)

by Natural Deduction Almquist, Stockholm Wiksell
Venue:In The Proceedings of Conference on Logic and its Applications