kw.\*:("LOGIQUE ARISTOTE")
Results 1 to 3 of 3
Selection :
COMPLETENESS OF AN ANCIENT LOGICCORCORAN J.1972; J. SYMBOL. LOGIC; U.S.A.; DA. 1972; VOL. 37; NO 4; PP. 696-702; BIBL. 8 REF.Serial Issue
Intermediate quantifiers for Finch's proportionsPETERSON, P. L.Notre Dame journal of formal logic. 1993, Vol 34, Num 1, pp 140-149, issn 0029-4527Article
A deductive database based on Aristotelian logicMOZES, E.Journal of symbolic computation. 1989, Vol 7, Num 5, pp 487-507, issn 0747-7171Article