CALCULEMUS      
This Directory Index LogBank Main Menu


Science-Philosophical Issues:
Import of Mechanized Deduction for Philosophy of Science



First published in "calculemus" Feb 07 1998 == © Witold Marciszewski