date: Mon, 09 May 2005 18:21:39 (local)
Linklint version: 2.3.5
#------------------------------------------------------------
# found 119 urls: were ok
#------------------------------------------------------------
119 urls: ok
http://ai.eecs.umich.edu/
http://anulib.anu.edu.au/lib_home.html
http://archive.comlab.ox.ac.uk/formal-methods.html
http://citeseer.ist.psu.edu/
http://cm.bell-labs.com/cm/cs/who/libkin/lics/logic-confs.html
http://cogsci.uwaterloo.ca/
http://csli-publications.stanford.edu/
http://csmaclab-www.uchicago.edu/philosophyProject/philos.html
http://e-math.ams.org
http://e-math.ams.org:80/mathscinet
http://esmmac8.esm.psu.edu/mac-tex/
http://homepages.ed.ac.uk/pmilne/links_html/journals.html
http://jamaica.u.arizona.edu/~chalmers/biblio.html
=> http://consc.net/biblio.html
http://lal.cs.byu.edu/
http://liinwww.ira.uka.de/bibliography/Ai/rht.html
http://liinwww.ira.uka.de/bibliography/Theory/Seiferas/index.html
http://liinwww.ira.uka.de/bibliography/Theory/logic.wong.html
http://logic.berkeley.edu/
http://logic.tamu.edu
http://logica.cle.unicamp.br/wcp/wcp2000.htm
http://logica.rug.ac.be/centrum/
http://logika.ff.cuni.cz/artsys/index.php
http://mally.stanford.edu/
http://math.boisestate.edu/%7Eholmes/holmes/nf.html
http://math.uni-heidelberg.de/logic/
http://nl.ijs.si/%7Edamjan/me.html
http://online.anu.edu.au/
http://rsise.anu.edu.au
http://rsise.anu.edu.au/csl/
http://shelah.logic.at/
http://www-2.cs.cmu.edu/afs/cs/project/pal/www/pal.html
http://www-csli.stanford.edu/
http://www-csli.stanford.edu/hp/
http://www-formal.stanford.edu/
http://www-formal.stanford.edu/clt/ARS/ars-db.html
http://www-fp.mcs.anl.gov/division/welcome/default.asp
http://www-gap.dcs.st-and.ac.uk/~history/Mathematicians/Smullyan.html
http://www-groups.dcs.st-and.ac.uk/%7Ehistory/HistTopics/Beginnings_of_set_theory.html
http://www-logic.stanford.edu/
http://www-personal.monash.edu.au/%7Edey/phil/logic.htm
http://www-unix.mcs.anl.gov/AR/
http://www-unix.mcs.anl.gov/AR/otter/
http://www.Math.Uni-Augsburg.DE/%7Emoeller/nada.html
http://www.acm.org/
http://www.ai.cse.unsw.edu.au/
http://www.ams.org/
http://www.ams.org/msc/
http://www.ams.org/msc/03Bxx.html
http://www.ams.org/msc/68Nxx.html
http://www.ams.org/msc/68Qxx.html
http://www.ams.org/msc/68Txx.html
http://www.anl.gov/
http://www.aslonline.org/
http://www.blackwellpublishers.co.uk/
http://www.cecm.sfu.ca/organics/papers/lam/index.html
http://www.cis.syr.edu/~sanchis/
http://www.cis.udel.edu/%7Ecase/logic.html
http://www.cis.upenn.edu/%7Elc/home.html
http://www.cs.auckland.ac.nz/CDMTCS/chaitin/
http://www.cs.chalmers.se/%7Ereiner/
http://www.cs.math.ist.utl.pt/s84.www/cs/lcg/lcgpage.html
http://www.cs.rochester.edu/u/joel/
http://www.cs.technion.ac.il/%7Eadmlogic/
http://www.cse.unsw.edu.au/%7Eksg/AusLogic/
http://www.csse.monash.edu.au/mirrors/bibliography/index.html
http://www.cup.org/
=> http://www.cambridge.org:80/us/
http://www.dcs.kcl.ac.uk/research/groups/gllc/
http://www.di.unito.it/
http://www.ee.pdx.edu/polo/
http://www.eecs.umich.edu/~rthomaso/
http://www.elsevier.nl/
http://www.emis.de/ZMATH/
http://www.fields.utoronto.ca
http://www.folli.org/
http://www.gibson.com/products/gibson/lespaul/
http://www.giss.nasa.gov/latex/
http://www.gnu.org/home.html
http://www.indiana.edu/~iulg/
http://www.informatik.uni-leipzig.de/
http://www.informatik.uni-trier.de/%7Eley/db/index.html
http://www.innergeek.us/
http://www.irit.fr/
http://www.jaist.ac.jp/is/labs/ono-ishihara-lab/jaist-logic.html
http://www.johncoltrane.com/
http://www.kake.info.waseda.ac.jp/index.html
http://www.lib.sfu.ca
http://www.lights.com/publisher/
http://www.linklint.org/
http://www.linux.org/
http://www.logic.info.waseda.ac.jp/index.html
http://www.logic.math.helsinki.fi/
http://www.logique.jussieu.fr/
http://www.ma.umist.ac.uk/newmaths/postgrad/VUM/logicresearch.html
http://www.math.gatech.edu/%7Ethomas/FC/fourcolor.html
http://www.math.ohio-state.edu/%7Efriedman/
http://www.math.psu.edu/simpson/Logic.html
http://www.math.ucla.edu/%7Ehbe/
http://www.math.uni-bonn.de/people/logic/
http://www.math.unipd.it:80/%7Elogic/
http://www.mathematik.uni-muenchen.de/%7Elogik/
http://www.mot.ruc.dk
http://www.mpi-sb.mpg.de/index.html
http://www.nd.edu/%7Echolak/computability/computability.html
http://www.nd.edu/%7Esteve/logic/
http://www.oakland.edu/enp/
http://www.oup.co.uk/
http://www.pms.ifi.lmu.de/conferences/conferences.html
http://www.rbjones.com/
http://www.sfu.ca/
http://www.sm.luth.se/%7Etorkel/eget/godel.html
http://www.soccercanberra.com.au/
http://www.springer.de/
=> http://www.springeronline.com/sgw/cda/redirect/shortcut?SHORTCUT=www.springer.de/%3f
=> http://www.springeronline.com/sgw/cda/frontpage/0,11855,1-102-0-0-0,00.html?referer=www.springer.de%2F
http://www.trevorrow.com/
http://www.tug.org/ctan.html
http://www.turing.org.uk/turing/
http://www.uni-bonn.de/logic/world.html
http://www.unicamp.br/
http://www.wvquine.org/
http://wwwmath.uni-muenster.de/math/logik/root.html
=> http://wwwmath1.uni-muenster.de/logik/root.html