Journals:
See also:
Annals of Pure and Applied Logic - (Elsevier) Formerly Annals of Mathematical Logic. Unrestricted access only for subscribers.
Archive for Mathematical Logic - Publishes research papers and occasionally surveys or expositions on mathematical logic. Tables of contents from vol.34 (1995) on. Full text to subscribers.
Bulletin of Symbolic Logic - All articles in postscript format.
Fundamenta Mathematicae - (Polish Academy of Sciences) Publisher's site. Tables of contents from vol.33 (1945).
History and Philosophy of Logic - Publisher's site.
Israel Journal of Mathematics - Publisher's site.
Journal of Automated Reasoning - Interdisciplinary Journal covering theory, implementation and application. Online archive and full text for subscribers.
Journal of Functional and Logic Programming - Electronic journal.
Journal of Logic and Computation - Publisher's site. Unrestricted access only for subscribers.
Journal of Logic, Language and Information - Explores the foundations of natural, formal, and programming languages, as well as the different forms of human and mechanized inference. It covers the logical, linguistic, and information-theoretic parts of the cognitive sciences. Free tables of contents and abstracts. Full text to subscribers.
Journal of Mathematical Logic - World Scientific. Contents and abstracts of all issues; full text to institutional subscribers.
Journal of Philosophical Logic - Journal devoted to philosophical applications of logic, and the philosophical underpinnings of logic. Sample copy and an archive of tables of contents.
Journal of Symbolic Logic - Official organ of the Association of Symbolic Logic.
Logic Journal of the IGPL - (OUP) Official publication of the Interest Group in Pure and Applied Logic.
Mathematical Logic Quarterly - Formerly Zeitschrift für Mathematische Logik und Grundlagen der Mathematik. Publisher's site. Table of contents from 2000. Full text to subscribers.
Nordic Journal of Philosophical Logic - All articles available online.
Notre Dame Journal of Formal Logic - Publisher's site, access restricted.
Reports on Mathematical Logic - Official website.
Studia Logica - Web page maintained by the Institute of Philosophy and Sociology of the Polish Academy of Sciences.
Transactions on Computational Logic - Devoted to research concerned with all uses of logic in computer science.
Suggested link
|
Olympic Games Olympic Games in the past and in the future, summer games and winter games. Next Olympic events: Beijing 2008, Vancouver 2010, London 2012. National Olympic Committees and Olympic sports: Alpine Skiing, Baseball, Basketball, Biathlon, Boxing, Cross Country Skiing, Curling, Cycling, Diving, Equestrian, Fencing, Field Hockey, Figure Skating, Freestyle Skiing, Gymnastics, Ice Hockey, Judo, Modern Pentathlon, Nordic Combined, Rowing, Sailing, Shooting, Ski Jumping, Sledding, Snowboarding, Soccer, Speed Skating, Swimming, Synchronized Swimming, Table Tennis, Tennis, Track and Field, Triathlon, Volleyball, Water Polo, Weightlifting. www.olympics-games.info |
