Back to Results
First PageMeta Content
Proof theory / Automated theorem proving / Propositional calculus / Logical truth / Logical syntax / Sequent / Cut-elimination theorem / Substitution / Resolution / Logic / Mathematical logic / Mathematics


Weak Formal Systems and Connections to Computational Complexity Lecture Notes for a Topics Course University of California, Berkeley January-May 1988
Add to Reading List

Document Date: 2006-04-24 18:16:59

Open Document

File Size: 2,96 MB

Share Result on Facebook

Company

Weak Formal Systems / Extended Frege Proof Systems / /

Facility

University of California / /

OperatingSystem

Sequent / /

Organization

University of California / Berkeley / Mathematics Department / /

Person

Stephen Carrier Juan Bagaria Jim / John Grosh Martin Goldstern Chrystopher / Frederick Teti / Maria Bonet John Grosh Martin / Sam Buss / Jim Gloor Alessandro Berarducci Sam / Rohit J. Parikh / Frederick Teti Maria Bonet John / Al / Eric Hughes Stephen Carrier Juan / Martin Goldstern Chrystopher Nehaniv Eric / /

ProvinceOrState

California / /

SportsEvent

the formula 1 / /

SocialTag