Heyting - On the Formulae-as-Types Correspondence for Classical Logic, Wehmeier, Kai,

		Friday, 10 October, 2008
		Home \| Submit Science Site \| Add to Favorite \| Contact

for

Directories

Listing for: Heyting

Order by Popularity | Alphabet

Sites

Records 1-2 of 2

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

Wehmeier, Kai (Popularity: )

UC Irvine - semantics and proof theory of intuitionistic arithmetic, logical analysis of modal discourse, ...
Category: Science\Math\Logic and Foundations\People

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