Sponsored Links:
Colibri Home Page (Popularity:  )
http://colibri.let.uu.nl/
Colibri is an electronic newsletter and WWW service aimed at people interested in the fields of natural language processing, speech ...
|
Notre Dame Journal of Formal Logic (Popularity: )
http://www.nd.edu/~ndjfl/
Publisher's site, access restricted.
|
History and Philosophy of Logic (Popularity: )
http://www.tandf.co.uk/journals/tf/01445340.html
Publisher's site.
|
Journal of Logic and Computation (Popularity: )
http://www.oup.co.uk/logcom/
Publisher's site. Unrestricted access only for subscribers.
|
Archive for Mathematical Logic (Popularity: )
http://link.springer.de/link/service/journals/00153/
(Springer) Tables of contents from vol.34 (1995) on. Full text to subscribers via LINK.
|
Nordic Journal of Philosophical Logic (Popularity: )
http://www.hf.uio.no/filosofi/njpl/
All articles available online.
|
Israel Journal of Mathematics (Popularity: )
http://www.ma.huji.ac.il/~ijmath/
Publisher's site.
|
Journal of Mathematical Logic (Popularity: )
http://www.worldscinet.com/jml/jml.shtml
World Scientific. Contents and abstracts of all issues; full text to institutional subscribers.
|
Logic Journal of the IGPL (Popularity: )
http://www.dcs.kcl.ac.uk/journals/igpl/
An Electronic Journal on Pure and Applied Logic. Editors' page with author information.
|
Mathematical Logic Quarterly (Popularity: )
http://www.wiley-vch.de/publish/en/journals/alphabeticIndex/2256/
Formerly Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. Publisher's site. Table of contents from 2000. Full text to subscribers.
|
Bulletin of Symbolic Logic (Popularity: )
http://www.math.ucla.edu/~asl/bsltoc.htm
All articles in postscript format.
|
Journal of Functional and Logic Programming (Popularity: )
http://danae.uni-muenster.de/lehre/kuchen/JFLP/
Electronic journal.
|
Journal of Symbolic Logic (Popularity: )
http://www.aslonline.org/journals-journal.html
Official organ of the Association of Symbolic Logic.
|
Transactions on Computational Logic (Popularity: )
http://www.acm.org/pubs/tocl/
Devoted to research concerned with all uses of logic in computer science.
|
Annals of Pure and Applied Logic (Popularity: )
http://www.sciencedirect.com/science/journal/01680072
(Elsevier) Formerly Annals of Mathematical Logic. Unrestricted access only for subscribers.
|
Logic Journal of the IGPL (Popularity: )
http://jigpal.oupjournals.org/
(OUP) Official publication of the Interest Group in Pure and Applied Logic.
|
Journal of Logic, Language and Information (Popularity: )
http://www.kluweronline.com/issn/0925-8531
(Kluwer) Publisher's site.
|
Studia Logica (Popularity: )
http://www.kluweronline.com/issn/0039-3215
(Kluwer) Publisher's site.
|
Proofs and Types (Popularity: )
http://www.dcs.qmul.ac.uk/%7Ept/stable/Proofs+Types.html
By Jean-Yves Girard, Yves Lafont and Paul Taylor (CUP,1989). Full text online (DVI,PDF,PS).
|
Practical Foundations of Mathematics (Popularity: )
http://www.dcs.qmul.ac.uk/~pt/Practical-Foundations/index.html
By Paul Taylor (CUP, 2000). Table of contents, bilbiography, text without diagrams.
|
