Negationless Intuitionistic Mathematics G. F. C. Griss

Autor: Beth, Evert W.
Zdroj: The Journal of Symbolic Logic, 1947 Jun 01. 12(2), 62-62.
Databáze: JSTOR Journals