Set theory in first-order logic: Clauses for Gödel's axioms

Journal of Automated Reasoning 1986 / 09 Vol. 2; Iss. 3

Set theory in first-order logic: Clauses for Gödel's axioms

Robert Boyer, Ewing Lusk, William McCune, Ross Overbeek, Mark Stickel, Lawrence Wos
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
2
Language:
english
Pages:
41
DOI:
10.1007/bf02328452
Date:
September, 1986
File:
PDF, 1.94 MB
english, 1986
Conversion to is in progress
Conversion to is failed