L. Henkin. Boolean representation through propositional calculus. Fundamenta mathematicae, vol. 41 no. 1 (1954), pp. 89–96. - J. Łoś. Remarks on Henkin's paper: Boolean representation through propositional calculus. Fundamenta mathematicae, vol. 44 no. 1 (1957), pp. 82–83
Autor: | Ann S. Ferebee |
---|---|
Rok vydání: | 1973 |
Předmět: | |
Zdroj: | Journal of Symbolic Logic. 38:521-522 |
ISSN: | 1943-5886 0022-4812 |
Databáze: | OpenAIRE |
Externí odkaz: |