Publication View

Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus (1998)

Publication details

Repository	Repository Radboud Universiteit Nijmegen (Netherlands)
Type	Article
Language	Englisch