Gentzen - On the Formulae-as-Types Correspondence for Classical Logic

		Monday, 1 December, 2008
		Home \| Submit Science Site \| Add to Favorite \| Contact

for

Directories

Listing for: Gentzen

Order by Popularity | Alphabet

Sites

Records 1-1 of 1

Sponsored Links:

On the Formulae-as-Types Correspondence for Classical Logic (Popularity: )

Doctoral thesis of Charles Stewart, which investigates foundational aspects of the application of the formulae-as-types ...
Category: Science\Math\Logic and Foundations\Computational Logic

Home | Submit Science Site | Add to Favorite | Privacy | Contact