逻辑-逻辑

组-组

<http://www.cs.chalmers.se/cs/Research/Logic/> <http://www.logique.jussieu.fr/> <http://www.uni-bonn.de/logic/logic.html>

网页

<http://settheory.net/> <http://spoirier.lautre.net/logique.htm> <http://web.cs.city.ac.uk/research/dig/cubiq.html> <http://web.cs.city.ac.uk/research/dig/dig.html> <网址：http://www.cs.unc.edu/~zhu/prover.html> <网址：http://www.cs.chalmers.se/~tammet/research.html> <http://www.cl.cam.ac.uk/Research/HVG/HOL/> <http://www.cl.cam.ac.uk/Research/HVG/Isabelle网站/> <http://www.inria.fr/Equipes/COQ-eng.html> <http://www.cs.utexas.edu/users/moore/acl2/acl2-doc.html> <http://www.lewiscarroll.org/logic.html> <http://www.cs.bham.ac.uk/research/poplog/poplog.info.html> <网址：http://www.math.niu.edu/~rusin/known-math/index/03-XX.html>

协会

<网址：http://www.dimi.uniud.it/~eacsl/> <http://www.aslonline.org/> <http://www.compulog.org网站/>

会议

<http://staff.science.uva.nl/~kbalogh/StuS13/> <http://iclp08.dimi.uniud.it/>

埃科尔斯·德埃提埃-暑期学校

<http://staff.science.uva.nl/~kbalogh/StuS13/>

页面个人信息-主页

<http://iml.univ-mrs.fr/~吉拉德/> <网址：http://www.cs.chalmers.se/~塔米特/> <网址：http://www.cs.unc.edu/~朱/> <网址：http://www.cs.chalmers.se/~peterd/> <http://www.math.psu.edu/simpson网站/> <网址：http://www.lri.fr/~jouannau/> <http://www.math.rutgers.edu/~谢拉/>

数学-数学

<http://maple.matappl.polymtl.ca/>

问题MES-问题

<http://plato.stanford.edu/archives/sum2001/entries/curry-paradiod/> <http://plato.stanford.edu/archives/sum2001/entries/russell-paradox/>

演示

<http://wwwx.cs.unc.edu/~zhu/cgi-bin/oshl.cgi> <http://perso.wanadoo.fr/jean-paul.davalan/divers/boole/karnaugh/index.html>

示例-示例

<http://www.cs.bham.ac.uk/research/poplog/contrib/nlp_book/>

物流-软件

<http://www4.informatik.tu-muenchen.de/~schulz/WORK/eprover.html> <网址：http://www.cs.chalmers.se/~tammet/gandalf/> <ftp://ftp.cs.bham.ac.uk/pub/dist/poplog/freepoplog.html> <http://www.cs.bham.ac.uk/research/poplog/freepoplog.html> <http://www.cs.bham.ac.uk/research/poplog/teach/grammar网站> <http://www.cs.bham.ac.uk/research/poplog/teach/storegrammar> <http://www.cs.bham.ac.uk/research/poplog/rclib/help/rclib> <http://math.boisestate.edu/~holmes/proverpage.html> <http://www.lwb.unibe.ch/index.html> <http://isabelle.in.tum.de/index.html> <http://why.lri.fr/index.fr.html> <http://coq.inia.fr/> <http://pvs.csl.sri.com/> <http://mizar.uwb.edu.pl/> <网址：http://ergo.lri.fr/> <http://yices.csl.sri.com/> <http://www.cs.nyu.edu/acsys/cvc3/> <http://harvey.loria.fr/> <网址：http://hol.sourceforge.net/>

概述-工具

<http://www.ctan.org/tex-archive/macros/latex/contrib/carnaugh/>

来源

<http://www.farviolet.com/freeware/>

JAVASCRIPT公司

<http://perso.wanadoo.fr/jean-paul.davalan/divers/boole/karnaugh/index.html>

TH EORIE-理论

<http://www.cs.toronto.edu/~sacook/csc438h/> <http://www.math.psu.edu/simpson/courcess网站> <http://euclid.trentu.ca/math/sb/pcml/welcome.html>

LIVRES-书籍

<http://www.cis.upenn.edu/~jean/gbooks/logic.html> <http://iml.univ-mrs.fr/~girard/cours/cours.html>

建议-主题

<http://www.math.unican.fr/~dehornoy/Surveys/Dgt.pdf> <http://www.ams.org/notices/200106/fea-woodin.pdf> <http://www.ams.org/notices/200803/tx080300344p.pdf>

文件-纸张

<网址：http://www.di.unipi.it/~scozzari/papers.html> <网址：http://www.cs.chalmers.se/~coquand/Sem.html> <http://peccatte.revr.fr/PhiMathsTextes/randomness.html> <网址：http://www.ltn.lv/~podnieks/index.html> <http://forum.swarthmore.edu/library/topics/logic/> <http://front.math.ucdavis.edu/> <http://www.andrewboucher.compapers/foea/index.htm> <http://www.logique.jussieu.fr/www.ressayre/jaf.dvi> <http://www.logique.jussieu.fr/www.elibou/surveys.html>

摘要

<http://www.logic.univie.ac.ac/摘要/>

JOURNAUX-字母

<http://psyche.cs.monash.edu.au/v2/psyche-2-28-farenley_sande.html> <http://www-unix.mcs.anl.gov/AAR/issuedec97/#geometry网站> <http://www.academicpress.com/jsc> <http://www.math.u-psud.fr/~guenard/RMC/>

球场-球场

<http://logica.uniroma3.it/uif/corso/> <http://www.logique.jussieu.fr/www.elibou/ens02.html> <http://www.cs.cmu.edu/~fp/courses/comp-ded/> <http://www.univ-orleans.fr/SUFFO/IREM/educhorie/post-bac/index.php>

肿瘤-肿瘤-肿瘤

<http://www.cl.cam.ac.uk/Teaching/1998/LogProof/> <http://www.cs.cmu.edu/~fp/courses/comp-ded/elf-guide/elf-guide.html> <网址：http://www.cs.chalmers.se/~coquand/Sem.html> <http://www.cs.umbc.edu/471/lectures/7/sld001.htm> <http://www.dyade.fr/fr/actions/VIP/jgl/MMFAI/lambdaidx.html>

手册-手册

<http://www.cs.bham.ac.uk/research/poplog/newkit/prb/teach/poprulebase> <http://www.cs.bham.ac.uk/research/poplog/newkit/prb/help/poprulebase> <http://www.cs.bham.ac.uk/research/poplog/newkit/prb/help/prb_filter> <http://math.boisestate.edu/~holmes/babydocs/node1.html> <网址：http://www.cs.miami.edu/~tptp/>

历史-历史

<http://plato.stanford.edu/entries/frege（柏拉图·斯坦福德·埃杜）/> <http://www-groups.dcs.st-ac.uk:80/~history/Mathematicians/Aristotle.html> <http://www-groups.dcs.st-ac.uk:80/~history/Mathematicians/Venn.html> <http://www-groups.dcs.st-ac.uk:80/~历史/数学家/Boole.html> <http://www-groups.dcs.st-ac.uk:80/~history/Mathematicians/De_Morgan.html> <http://www-groups.dcs.st-ac.uk:80/~history/Mathematicians/Frege.html> <http://www-groups.dcs.st-ac.uk:80/~历史/数学家/Peano.html> <http://www-groups.dcs.st-ac.uk:80/~history/Mathematicians/Zermelo.html> <http://www-groups.dcs.st-ac.uk:80/~history/Mathematicians/Hilbert.html> <http://www-groups.dcs.st-ac.uk:80/~history/Mathematicians/Godel.html>

小组讨论-新闻

<http://www.deja.com/dnquery.xp？QRY=formal+方法> <新闻：//comp.lang.pop>

留置权-链接

<http://settheory.net/world> <网址：http://robotics.stanford.edu/~suresh/theory/software.html> <http://theory.stanford.edu/people/uribe/usa.html> <http://solon.cma.univie.ac.at/%7Eneum/ai.html> <http://www.math.vanderbilt.edu/~schectex/courses/logic/#otherlinks> <http://www.uni-bonn.de/logic/world.html>