Undecidable propositions of the Peano Axioms and Predicate Calculus
John Thomas Vawter · OakTrust (Texas A&M University Libraries) · 1974
Due to the character of the original source materials and the nature of batch digitization, quality control issues may be present in this document. Please report any quality issues you encounter to [email protected], referencing the URI of the item.