Click here to see Funny Pictures

 
Google
 
Discovered Topics
 book  math  books  logic  free  ebooks  mathematics

Discover From This Page & Topic: [] logic
 [] Critical thinking web http://philosophy.hku.hk/think/ (philosophy psychology tutorial criticalthinking)
 [] Literature.org - The Online Literature Library http://www.literature.org/authors/descartes-rene/reason-discourse/ (essays reason theory arguments)
 [] Theory Matters - Main/HomePage http://theorymatters.org/pmwiki/pmwiki.php (algorithms complexity science theory)
 [] Databases and Artificial Intelligence 3 Artificial Intelligence Segment http://www.macs.hw.ac.uk/~alison/ai3notes/all.html (logic osl mfc databases)
 [] Reason and Rationality http://ruccs.rutgers.edu/ArchiveFolder/Research%20Group/Publications/Reason/ReasonRationality.htm (rationality resources psychology reason)
 [] The Writings of Leslie Lamport http://research.microsoft.com/users/lamport/pubs/pubs.html (research papers algorithms programming)
 [] Don Lindsay Archive http://www.don-lindsay-archive.org/index.html (creation/evolution creationism skepticism fallacies)
 [] Logic on Line http://www.sandiego.edu/LogicSlave/online.html (philosophy logic)
 [] The Skeptics' Guide To The Universe - Logical Fallacies http://www.theskepticsguide.org/logicalfallacies.asp (philosophy reference social skepticism)
 [] Math Forum: Ask Dr. Math: Intro. to Symbolic Logic http://mathforum.org/dr.math/faq/symbolic_logic.html (mathematics logic symbolic)
 [] Fallacies http://www.nizkor.org/features/fallacies/ (debate argument reference philosophy)
 [] Table of Contents http://plato.stanford.edu/contents.html (philosophy reference encyclopedia resources)
 [] Zen Stories http://www.101zenstories.com/ (philosophy zen writing stories)
 [] The Guide To Thinking Straight http://web.mac.com/theedonfamily/Site/The_Guide_To_Thinking_Straight.html (philosophy logic)
 [] Intuitionism - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Intuitionism (logic philosophy math mathematics)
 [] English Composition 1: Logical Argument http://papyr.com/hypertextbooks/comp1/logic.htm (logic writing argument philosophy)
 [] Peter Suber, "Informal Logic" http://www.earlham.edu/~peters/courses/inflogic/inflhome.htm (philosophy logic reasoning)
 [] Rubik's Cube Solver http://wrongway.org/cube/solve.html (games howto fun rubik)
 [] UC Davis: Logic Primer : Logic Primer Files http://tellerprimer.ucdavis.edu/pdf (philosophy critical primer argumentation)

 [] djcbs348pg's favorites on del.icio.us http://del.icio.us/djcbs348pg (logic puzzles)
 [] Logic Materials http://www.christianlogic.com/articles/logic_materials.htm (reviews logic book)
 [] Disjunction and existence properties - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Existence_property (property disjunction logic existence)
 [] RichardDawkins.net - The Official Richard Dawkins Website http://richarddawkins.net/home (science religion atheism politics)
 [] bc skeptics | critical thinking | resources: critical thinking http://www.bcskeptics.info/resources/criticalthinking/index.html (tutorial logic argument)
 [] The Incompatible Food Triad --- George W. Hart http://www.georgehart.com/triad.html (food logic philosophy interesting)
 [] Think Critical http://web.mac.com/theedonfamily/iWeb/Site/Think%20Critical.html (logic thinking straight)
 [] http--babbage.computing.dundee.ac.uk-chris-publications-2004-ijait.pdf http://babbage.computing.dundee.ac.uk/chris/publications/2004/ijait.pdf (diagrams informal araucaria logic)
 [] The Fallacy Files Bookshelf http://fallacyfiles.org/bookshlf.html (philosophy fallacies logic reference)
 [] Introduction to Logic http://logic.philosophy.ox.ac.uk/ (logic tutorial philosophy course)
 [] Constructing a Logical Argument http://www.virtualschool.edu/mon/SocialConstruction/Logic.html (philosophy logic argument)
 [] Critical Thinking Resources - Longview Community College http://www.kcmetro.cc.mo.us/longview/ctac/toc.htm (learning study logic research)
 [] Introduction to Philosophy http://courses.dce.harvard.edu/~phils4/notes.html (philosophy logic puzzles riddles)
 [] Category:Logic puzzles - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Category:Logic_puzzles (logic puzzles puzzle wikipedia)
 [] The Guide To Thinking Straight pt 2 http://web.mac.com/theedonfamily/iWeb/Site/The%20Guide%20To%20Thinking%20Straight%20pt%202.html (philosophy creationism argumentation fallacies)
 [] Welcome to LogicTutor http://www2.wwnorton.com/college/phil/logic3/ (tutorial logic reasoning)
 [] Optocouplers - Vishay http://www.vishay.com/optocouplers/ (optoisolator hardware interface interfacing)
 [] propaganda critic: index of site dedicated to propaganda analysis http://www.propagandacritic.com/ (psychology politics history reference)
 [] A List Of Fallacious Arguments http://www.don-lindsay-archive.org/skeptic/arguments.html (philosophy reference language debate)
 [] The Logic Cafe http://www.oakland.edu/phil/cafe/Cafe.htm (logic argument reference)
 [] How To Write Proofs http://zimmer.csufresno.edu/~larryc/proofs/proofs.html (math mathematics tutorial algorithms)
 [] Austhink: Critical Thinking Argument Mapping http://www.austhink.com/ (visualization software reference thinking)
 [] Argument Analysis: The Basic Method http://www.wku.edu/~jan.garrett/arganals.htm (reason analysis logic argument)
 [] Bayes' theorem - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Bayes'_theorem (statistics theorem bayes math)
 [] Fallacies http://www.ditext.com/hamblin/fallacies.html (logic)
 [] The Taxonomy of Logical Fallacies http://www.fallacyfiles.org/taxonomy.html (philosophy language logic reference)
 [] http://www.philosophy.ed.ac.uk/ug_study/documents/Informallogic5.pdf http://www.philosophy.ed.ac.uk/ug_study/documents/Informallogic5.pdf (philosophy vagueness ambiguity logic)
 [] Rationale Stuff - Share Rationale stuff! http://wiki.austhink.com/ (logic argument thinking rationale)
 [] Critical Thinking mini-lessons- The Skeptic's Dictionary - Skepdic.com http://www.skepdic.com/refuge/ctlessons.html (logic philosophy critical learning)
 [] The Coq proof assistant http://coq.inria.fr/ (math programming coq mathematics)
 [] The Mercury Project: Introduction http://www.cs.mu.oz.au/research/mercury/index.html (functional programming logic language)
 [] Practical Foundations of Mathematics http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html (math mathematics logic free)
 [] Combinatory logic - HaskellWiki http://haskell.org/haskellwiki/Combinatory_logic (haskell logic combinator)
 [] The Taxonomy of Logical Fallacies http://www.fallacyfiles.org/taxonomy.html (philosophy language logic reference)
 [] ACL2 Version 3.2 http://www.cs.utexas.edu/users/moore/acl2/ (lisp tool programming theorem)
 [] KANREN http://kanren.sourceforge.net/ (scheme programming logic theory)
 [] The Goedel Programming Language http://www.cs.bris.ac.uk/~bowers/goedel.html (logic declarative languages prolog)
 [] The Functional Logic Language Curry http://www.informatik.uni-kiel.de/~curry/ (curry logic lp functional)
 [] Guide to Constraint Programming http://kti.mff.cuni.cz/~bartak/constraints/ (programming constraint guide prolog)
 [] Interactive Computer Theorem Proving http://www.cs.berkeley.edu/~adamc/itp/ (cs courses logic formal)
 [] The Curry-Howard Correspondence in Haskell http://www.thenewsh.com/~newsham/formal/curryhoward/ (haskell curry logic math)
 [] Gödel's Theorem http://cscs.umich.edu/~crshalizi/notebooks/godels-theorem.html (mathematics philosophy science computer)
 [] Type Theory (Stanford Encyclopedia of Philosophy) http://plato.stanford.edu/entries/type-theory/ (philosophy mathematics logic types)
 [] http://okmij.org/ftp/Computation/PrincipiaMathematica.txt http://okmij.org/ftp/Computation/PrincipiaMathematica.txt (logic toread interesting programming)
 [] A List Of Fallacious Arguments http://www.don-lindsay-archive.org/skeptic/arguments.html (philosophy reference language debate)
 [] This FTP site http://okmij.org/ftp/README.html (lisp programming haskell scheme)
 [] Peter Suber: Logical Systems http://www.earlham.edu/~peters/courses/logsys/lshome.htm (reference mathematics logic philosophy)
 [] Dr. Dobb's | Old ideas form the basis of advancements in functional programming | July 22, 2001 http://www.ddj.com/184404384;jsessionid=0LVM1F05OMI0IQSNDLPCKH0CJUNN2JVN?_requestid=90264 (mathematics logic)
 [] How To Write Proofs http://zimmer.csufresno.edu/~larryc/proofs/proofs.html (math mathematics tutorial algorithms)
 [] book - Discipline of Programming http://www.walenz.org/Dijkstra/index.html (algorithms programming dijkstra math)
 [] The Fine Art of Baloney Detection http://faculty-staff.ou.edu/W/Jonathan.D.Wren-1/The%20Fine%20Art%20of%20Baloney%20Detection.htm (logic skepticism science sagan)
 [] Automath Archive - in honour of prof. N.G. de Bruijn http://automath.webhop.net/ (mathematics logic research papers)
 [] Web Texts of Andrew Wohlgemuth. Mathematical Deduction. http://germain.umemat.maine.edu/faculty/wohlgemuth/ (books mathematics logic math)
 [] Downloadable Publications on Logic and Computation by Giuseppe Longo, http://www.di.ens.fr/users/longo/download.html (mathematics homepage logic research)
 [] Foundations of Mathematics: Textbook / Reference http://sakharov.net/foundation.html (philosophy reference mathematics math)
 [] Formalizing 100 Theorems http://www.cs.ru.nl/~freek/100/ (math proofs mathematics logic)
 [] Peter Suber, "Non-Standard Logics" http://www.earlham.edu/~peters/courses/logsys/nonstbib.htm (logic philosophy mathematics science)
 [] The Z Notation: a reference manual http://spivey.oriel.ox.ac.uk/mike/zrm/index.html (mathematics z language logic)
 [] University of Michigan Historical Math Collection http://www.hti.umich.edu/cgi/t/text/text-idx?c=umhistmath;cc=umhistmath;view=toc;idno=AAT1273.0001.0 ... (mathematics freeware logic classic)
 [] Coding Horror: An Initiate of the Bayesian Conspiracy http://www.codinghorror.com/blog/archives/000850.html (statistics algorithms bayesian programming)
 [] Principia mathematica, by Alfred North Whitehead ... and Bertrand Russell. Vol 3 http://www.hti.umich.edu/cgi/t/text/text-idx?c=umhistmath;idno=AAT3201.0003.001 (mathematics logic principia philosophia)
 [] Good Math, Bad Math : Extreme math: 1 + 1 = 2 http://scienceblogs.com/goodmath/2006/06/extreme_math_1_1_2.php (math history science mathematics)
 [] 3quarksdaily http://3quarksdaily.blogs.com/3quarksdaily/2006/11/i_challenge_you.html (fun puzzles blog logic)
 [] Amine PLATFORM http://amine-platform.sourceforge.net/ (ontology java research km)
 [] DESCRIPTION LOGICS course http://www.inf.unibz.it/~franconi/dl/course/ (ontology owl semanticweb dl)
 [] Home Page of Markus Triska http://stud4.tuwien.ac.at/~e0225855/index.html (prolog programming metaprogramming logic)
 [] William Weiss and Cherie D'Mello, Fundamentals of Model Theory http://at.yorku.ca/i/a/a/i/10.htm (mathematics logic ebooks mustread)
 [] Computational Category Theory http://www.cs.man.ac.uk/~david/categories/ (fp programming category math)
 [] PowerLoom http://www.isi.edu/isd/LOOM/PowerLoom/ (inference lisp ai business)
 [] consequently.org/edit: Proof and Counterexample http://consequently.org/edit/page/Proof_and_Counterexample (logic mathematics ebooks compsci)
 [] Good Math, Bad Math : Kripke Semantics and Models for Intuitionistic Logic http://scienceblogs.com/goodmath/2007/03/kripke_semantics_and_models_fo.php (semantic logic)
 [] 15-815 Automated Theorem Proving / Handouts http://www.cs.cmu.edu/~fp/courses/atp/handouts.html (logic mathematics research pl)
 [] Ott http://www.cl.cam.ac.uk/~pes20/ott/ (programming theory functional parsing)
 [] Common Errors in English http://www.wsu.edu/~brians/errors/errors.html#errors (reference writing english language)
 [] The GNU Prolog web site http://www.gprolog.org/ (prolog opensource gnu programming)
 [] Computer Laboratory: Logic and Proof http://www.cl.cam.ac.uk/teaching/2002/LogicProof/ (mathematics theoremproving logic)
 [] methprimer1.pdf (application/pdf Object) Set teory and logic for colledge math http://www.cosc.brocku.ca/~duentsch/archive/methprimer1.pdf (mathematics logic college)
 [] Metamath Proof Explorer Home Page http://us.metamath.org/mpegif/mmset.html (logic mathematics reference toread)