DBLP:conf/ijcai/AielloW75 + redirect page
Checking Proofs in the Metamathematics of First Order Logic + Has identifier
| Checking Proofs in the Metamathematics of First Order Logic |
Has publishing details
pp. 1-8, 1975
Has title
Checking Proofs in the Metamathematics of First Order Logic
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai75.html#AielloW75
Has where published
IJCAI
Has year
1975
Has author
Mario Aiello +, Richard W. Weyhrauch +
Has identifier
Checking Proofs in the Metamathematics of First Order Logic +
Categories Proceeding Paper +
|
