Back to Results
First PageMeta Content
Propositional calculus / Proof theory / Model theory / Metalogic / First-order logic / Substitution / Deduction theorem / Interpretation / Frege system / Logic / Mathematical logic / Mathematics


CHAPTER I An Introduction to Proof Theory Samuel R. Buss Departments of Mathematics and Computer Science, University of California, San Diego La Jolla, California[removed], USA
Add to Reading List

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

Open Document

File Size: 631,31 KB

Share Result on Facebook

City

Jolla / /

Company

Proof Theory / Elsevier Science B.V. / /

Country

United States / /

Facility

University of California / /

IndustryTerm

computerized search / particular formal systems / arbitrary product / sequent calculus systems / /

Organization

Γ. / University of California / San Diego / /

Person

Ai / /

ProvinceOrState

California / /

Technology

artificial intelligence / /

SocialTag