Back to Results
First PageMeta Content
Proof theory / Model theory / Computability theory / Predicate logic / First-order logic / Peano axioms / Arithmetical hierarchy / Constructible universe / Bounded quantifier / Mathematical logic / Logic / Mathematics


Document Date: 2002-01-14 17:15:00

Open Document

File Size: 652,13 KB

Share Result on Facebook
UPDATE