A Computational Approach to Logical Statements

Autor: Boyd, J. N., Raychowdhury, P. N.
Zdroj: The Two-Year College Mathematics Journal, 1983 Sep 01. 14(4), 326-328.
Databáze: JSTOR Journals