Automatización de los Silogismos en una Lógica Polivalente.by M. C. Badillo Barallat
Review by: John van HeijenoortVolume:
27
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2963744
Date:
March, 1962
File:
PDF, 120 KB
english, 1962