REASONING FROM EVIDENCE INDUCTIVE LOGIC
WILLIAM GUSTASON1994 年出版318 页ISBN:0023485337
Formal languages for computer simulation transdisciplinary models and applications
Pau Fonseca i Casas2014 年出版444 页ISBN:1466643697
COMPOUND STATEMENTS AND MATHEMATICAL LOGIC
VINCENT E.CANGELOSI1967 年出版114 页ISBN: