Results 171 to 174 of about 86,056 (174)
Some of the next articles are maybe not open access.
A CALCULUS OF NATURAL DEDUCTION FOR PREDICATE LOGIC WITH FUNCTIONAL VARIABLES AND IDENTITY
Joseph Gary Brown
openalex
A CALCULUS OF NATURAL DEDUCTION FOR PREDICATE LOGIC WITH FUNCTIONAL VARIABLES AND IDENTITY