Dan E. Willard

1. Self-verifying axiom systems, the incompleteness theorem and related reflection principles
   2001/06/01 by Dan E. Willard · 2 citations
   Computer Science · #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge #Logic, programming, and type systems