Soap boxes display case of 60 pieces

Natural wood craft clothespins display c

Pencil tire gauge display case of 96 pie

Nylon mesh body sponge display display c

Plastic craft wiggly eyes display case o

Search Results

Web Sitesi

A Bibliography of Constructive Mathematics
Compiled by Erik Palmgren.
http://www.math.uu.se/~palmgren/biblio/bib.html
Reviews Rating: Not yet Rated Whois Check

Constructive Mathematics
Maintained by Fred Richards.
http://www.math.fau.edu/Richman/html/construc.htm
Reviews Rating: Not yet Rated Whois Check

Confessions of a Formalist, Platonist Intuitionist
Autobiographical article by Fred Richman, describing his encounter with intuitionism.
http://www.math.fau.edu/Richman/html/Confess.htm
Reviews Rating: Not yet Rated Whois Check

Intuitionistic Logic
A short entry in the Stanford Encyclopaedia of Philosophy by Joan R. Moschovakis.
http://plato.stanford.edu/entries/logic-intuitionistic/
Reviews Rating: Not yet Rated Whois Check

Porgi
Porgi is a Proof-Or-Refutation Generator for Intuitionistic propositional logic, implementated by
Allen Stoughton. Given a sequent, Porgi either finds a minimally sized, normal natural deduction
of the sequent, or it finds a "small", tree-based Kripke countermodel of the sequent. It
is written in Standard ML.
http://www.cis.ksu.edu/~allen/porgi.html
Reviews Rating: Not yet Rated Whois Check

Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp. ©2004 Jasmine Computers Inc. Click here to subscribe for Jasminecorp's product News. Home | JCBid |Software Development | Domain Registration | Hosting | Web Designing | Buy Books | Advertise with JCSearch | Whois | IP Locator | Add Search | Shopping | Store | Free Blogs | Free GuestBook | Free E-Cards | Free Games | Free Tutorials | Set as Home | Add to Favorite | Suggest a Site | Directory | Our Portfolio | Terms of service | Free quote | Tell a Friend | Special Offer | Job Opportunities | games | Usenet Groups Submit a Site to Jasminecorp.net Directory || Advertise with us