Peruse an online book about Godel's incompleteness theorems, as well as axiomatic set theory, first order calculus and Hilbert's tenth problem.
Access this database of Web pages for members of the Association for Symbolic Logic. With membership details on how to join.
Covers set theory from ancient Greek notions of infinity and Georg Cantor's 1874 article on the subject, to current thinking.
Paper by George Boole, first published in "The Cambridge and Dublin Mathematical Journal," vol. 3, in 1848.
Features a directory of researchers working in computability theory with links to their homepage. Also find a bibliographic database and mailing list.
Contains a mailing list, list of workshops, handbook, course material, and a tutorial on description logics. Maintained by Carsten Lutz.
Access a directory of logic theory resources including an interactive tutorial, writings of philosophical logic, software, and workshops.
New articles, cross listings, and revisions of published LO Logic articles, available in Adobe PDF format.
Features a document that point to logic programming resource including general repositories, Window system interfaces, meetings, and Prolog.
Provides a tutorial on l-calculus, which expresses computation via anonymous functions. Learn about its relationship to LISP.
Provides an overview of calculus, combinatory logic, and computer science. Includes details about programming languages and Lambda-calculus.
Find numerous listings for logic and set theory organizations, groups, conferences, and seminars worldwide.
Philosophy department provides logical Web resources including links to logicians, texts, software titles, and Web-based logic programs.
Mathematical Atlas entry describes the discipline's theory, applications and history. Find links to related mathematical topics.
Resource dedicated to topics in mathematics offers this extensive collection of manuscripts, articles, tutorials, and text on logic and set theory.
Find over 3000 proofs of important theorems, including those of elementary set theory. Special fonts are needed to view some equations.
Journal offers discussion forums, articles, and instructions to authors. Reading the articles requires membership.
Abstracts from a quarterly journal devoted to research in broadly mathematical and philosophical approaches to logic.
Two volume text introduces mathematical logic for undergraduates. Includes first order logic and computability.
Find academic logic programs organized by country as well as links to philosophical logic journals and preprints.