Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The Bulletin of Symbolic Logic was established in 1995 by the Association for Symbolic Logic (ASL) to provide a journal of high standards that would be both accessible and of interest to as wide an audience as possible. Its stated purpose is to keep the logic community informed quickly of important developments in all parts of the discipline. The Bulletin of Symbolic Logic primarily publishes two types of papers: articles and communications. Articles present topics of broad interest that should be accessible to a large audience. They can be purely expository, survey, or historical articles, or they may contain, in addition, new ideas or results or new approaches to old ones. Communications are announcements of important new results and ideas. They are expected to include a description of the new work, as well as enough history, background, and explanation to make the significance of the work apparent to a wide audience. Papers in The Bulletin may deal with any aspect of logic, including mathematical or philosophical logic, logic in computer science or linguistics, the history or philosophy of logic, or applications of logic to other fields.

Logic, Symbolic and mathematical --- JEX4 --- Logique symbolique et mathématique --- Logic, Symbolic and mathematical. --- Symbolische logica. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic, Symbolic and mathematical. --- Logique symbolique et mathématique --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logique symbolique et mathématique --- Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

mathematics --- statistics --- applied mathematics --- algebra --- Logic, Symbolic and mathematical --- Mathematics --- Logic, Symbolic and mathematical. --- Mathematics. --- Math --- Science --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Proof theory --- Formalization (Linguistics) --- Metamathematics --- Logic, Symbolic and mathematical --- Logic, Symbolic and mathematical. --- Metamathematics. --- Proof theory. --- Mathematics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Set theory --- Syllogism --- Linguistic analysis (Linguistics) --- Linguistics --- Philosophy --- formalization --- verification --- checking --- reasoning --- Classical mechanics. Field theory --- Computer. Automation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic, Symbolic and mathematical --- Logic --- Logic. --- Logic, Symbolic and mathematical. --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Religious studies --- Mathematics --- neutrosophy --- plithogeny --- plithogenic set --- neutrosophic logic --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism