Полезные ссылки

Если Вы считаете полезным добавить ссылку на какой-либо источник, напишите письмо Алексею Смирнову.
Реферативные сборники
Mathematical Reviews
Zentrablatt
European Mathematical Information Service (mirror of the www.emis.de)
Журналы по логике и философии
Электронный журнал "Логические Исследования"
издается ОИЛКРЛ с 1997г., статьи доступны в электронном виде.
Издания Ассоциации Символической Логики:
Journal of Symbolic Logic:
The Journal is the official organ of the The Association for Symbolic
Logic. It has become the premiere research journal in the field. It is
issued quarterly and each annual volume normally comprises about 1400 pages.
The main function of The Journal is the publication of original scholarly
work in symbolic logic. The field has greatly expanded since the formation
of the Association in the 1930's, with the result that several well-defined
subfields have emerged. The Journal aims to represent the entire field
of symbolic logic, including the newer aspects related to other disciplines
such as computer science and linguistics.
Доступны оглавления.
The Bulletin of Symbolic Logic
Статьи доступны в формате PostScript.
Издания IGPL:
Journal of the IGPL
новый адрес: http://www.oup.co.uk/jnls/igpl
The Journal is the official publication of the International Interest Group in Pure and Applied Logics (IGPL).
Статьи доступны в электронном виде.
Журналы издательства Klouwer:
Доступны оглавления и аннотации, пробный экземпляр.

• Argumentation
• Erkenntnis
• Journal of Automated Reasoning
• Journal of Logic, Language and Information
• Journal of Philosophical Logic
• Law and Philosophy
• Philosophical Studies
• Studia Logica
• Synthese

Журналы Klouwer http://www.wkap.nl/journalhome.htm
Notre Dame Journal of Formal Logic A quarterly journal devoted to recent research in broadly mathematical and philosophical approaches to logic.
Оглавления и аннотации
JANCL Journal of Applied Non-Classical Logic
Оглавления и аннотации
Journal of Logic and Computation(Оксфорд)
Оглавления и аннотации
Annals of Pure and Applied Logic ; новый адрес: http://www.elsevier.com:80/locate/apal
The Annals of Pure and Applied Logic publishes papers and short monographs on topics of current interest in pure and applied logic, the foundations of mathematics and those areas of theoretical computer science and other disciplines which are of direct interest to mathematical logic. The Annals serves primarily but not exclusively as a vehicle for the publication of papers too long to be
published promptly by other journals, but too short to form a separate book.
Фактически это небольшие монографии, доступно оглавление.
Nordic Journal of Philosophical Logic NJPL is a forum for researchers and graduate students in the field of philosophical logic. The journal will be published both in hard copy and electronically
The Nordic Journal of Philosophical Logic will aim to develop a broad and flexible
editorial policy, seeking submissions in any of the areas associated with Philosophical Logic and with the applications of logic in conceptual analysis. Both informal papers and papers of  a more technical nature will be welcomed, but in the latter case preference will be given to those which make clear the relevance of the formal methods employed to the treatment of philosophical problems. NJPL is edited at the Department of Philosophy, University of Oslo.
Доступны электронные версии статей. Новый журнал, но очень солидные авторы. Требуется регистрация для чтения статей (бесплатно).
Modern Logic. seeks to provide a unique service to research logicians and historians of logic by providing an organ for rapid, low-cost, communication between historians of logic and research logicians, and between the various specialties of modern mathematical logic. We hope that the accessibility, excellence, timeliness, and low cost of our journal will continually reward our readers for their attention.
Оглавление, аннотации, справочник
Electronic Journal of Analytic Philosophy
Доступны электронные версии статей. Выходит ежегодно с 1993г.
Справочные материалы, Newsletters
colibri
Статьи, ссылки, организации, объявления, конференции по логике и лингвистике (Утрехт)
Календарь логических конференций
ASL Meetings, conferences and announcements
Информация о конференциях
LICS Newsletters
LOGIC
Материалы по автоматическому поиску док., лямбда-исчислению,теории типов, философии логики
Стэнфордская энциклопедия по философии
Подборки ссылок
http://www.yahoo.com/Science/Computer_Science/Formal_Methods/
 http://dialog.net:85/homepage/twebsites.htm
Подборки ссылок по философии
 WWW
virtual library: Logical Programming
Подборка материалов и ссылок по логическому программированию
 LogicAL:
Logic, Philosophy and Artificial Life Resources
Подборка по логике, фил. и ИИ.
Список логических
ресурсов, составленный в Бонне
 МинОбраз (Informika) Министерство
общего и проф. образования
Справочная информация, списки фондов, информационные подборки, список
российских серверов
Фонды
РФФИ Российский Фонд Фундаментальных
исследований
Информационные и справочные материалы Фонда. Ссылки на другие фонды.
ISF      Фонды Сороса
МинОбраз (Informika) Министерство общего и проф. образования
Справочная информация, списки фондов, информационные подборки, список российских серверов
Российские организации
Кафедра мат.логики и теории алгорифмов(мехмат МГУ)
История кафедры, курсы, персоналии, направления исследований
The Department of Mathematical Logic at the Steklov Mathematical Institute
Laboratory of Mathematical Logic SPb.
Кафедра алгебры и мат.логики мех.мат. ф-та НГУ
Кафедра логики и методологии науки Философского ф-та НГУ
Логические ресурсы
Federal Informational and Computing Server  of Russian National Network for Science and Education
Зарубежные организации
http://www.math.uiuc.edu/~asl   
The Association for Symbolic Logic. Сервер Ассоциации Символической Логики.
The Interest Group in Pure and Applied Logics
The Interest Group in Pure and Applied Logics (IGPL) is sponsored by The European Foundation for Logic, Language and Information (FoLLI), and currently has a membership of over 700 researchers in various aspects of logic (symbolic, mathematical, computational, philosophical, etc.) from all over the world. Our main activity is that of a research and information clearing house.
Max-Planck-Institut fr Informatik - Home Page
Логические программы, библиография, исследовательские проекты
Imperial College
Welcome to the home page for the Theory and Formal Methods Group of the Department of Computing, at the Imperial College of Science, Technology and Medicine, London SW7 2BZ, U.K. This archive can also be accessed using ftp and gopher.
Московск.центр непрерывного мат.образования
 Programming Systems Lab - Saarlandes
Проекты, статьи, язык OZ
Программное обеспечение
Ghostscript, Ghostview
and GSview
Средства просмотра файлов в формате PostScript (бесплатно).
Прувер Setheo  Мюнхен, технологический Университет
Программа прувер для различных платформ
TPTP (задачник
для пруверов)
The TPTP (Thousands of Problems for Theorem Provers) Problem Library
is a library of test problems for automated theorem proving (ATP) systems.
Приведены многочисленные ссылки на пруверы