A semantical study of constructive falsity. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik (1969)

by Richmond H Thomason