The Development of Intuitionistic Logic (Stanford Encyclopedia of Philosophy) - discu.eu

Lambda the Ultimate

The Development of Intuitionistic Logic http://plato.stanford.edu/entries/intuitionistic-logic-development/ 8 comments 17/7/2008 History

Linking pages

Using dependent types to write proofs in Haskell | Ascetic Slug https://janmasrovira.gitlab.io/ascetic-slug/post/haskell-proofs/ 16 comments

Related searches:

Search whole site: site:plato.stanford.edu

Search title: The Development of Intuitionistic Logic (Stanford Encyclopedia of Philosophy)

See how to search.

Submit link to: