An example of FOL using metatheory

6th Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/bfb0000057 ◽

2005 ◽

pp. 151-158 ◽

Cited By ~ 1

Author(s):

Richard W. Weyhrauch

Download Full-text