Classical propositional decidability via Nuprl proof extraction

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/bfb0055132 ◽

1998 ◽

pp. 105-122 ◽

Cited By ~ 5

Author(s):

James L. Caldwell

Download Full-text