Mechanized Reasoning--Logical Computors
โ
Review by: George W. Patterson
๐
Article
๐
1952
๐
Association for Symbolic Logic
๐
English
โ 209 KB