Math Logic and Foundations Education in the Best of the Web Directory

Math Logic and Foundations Education

  • A Problem Course in Mathematical Logic; by Stefan Bilaniuk

    Highlights definitions, statements of results, and problems. With explanations, examples, and hints.

  • Course on Description Logics

    Presents theories and systems for expressing structured knowledge and for accessing and reasoning with it in a principled way. With course materials.

  • Disjunction

    Shows editorial information, proof theories, and archives. Includes related topic entries.

  • Games Mathematicians Play

    Information includes linguistic and historical introduction. With games in logic and related links.

  • Institute for Logic, Language and Computation

    A broad research program in logic and the philosophy of language, at the boundaries with linguistics and cognitive science at the University of Amsterdam.

  • Logic Tutorial

    Provides an illustration of formal logic with exclusion diagrams. Includes essays in applied logic.

  • Logical Laws

    Presents laws not containing quantifiers, formulas, and equivalence. With details on quantifier alterations.

  • University of Alberta Logic Course

    Includes course information sheet and references, reference scheme, and course topics. With important dates and general policies.

Submit a site to this category