Back to Results
First PageMeta Content
Automated theorem proving / Mathematics / Sequent calculus / Unification / Sequent / First-order logic / Curry–Howard correspondence / Natural deduction / Mathematical logic / Proof theory / Logic


The Undecidability of k-Provability Samuel R. Buss∗ Department of Mathematics University of California, San Diego April 3, 1989
Add to Reading List

Document Date: 2002-07-11 12:08:00

Open Document

File Size: 198,15 KB

Share Result on Facebook

Facility

Mathematics University of California / /

IndustryTerm

possible solution / order systems / /

OperatingSystem

Sequent / /

Organization

Samuel R. Buss∗ Department / National Science Foundation / University of California / San Diego / /

Person

Kreisel / Samuel R. Buss / Ai / /

Position

Professor / Farmer / author / /

ProvinceOrState

California / /

SocialTag