dogear

enter for all results · esc to close

Mathematical Logic

sgslogic.netsite

Stephen G. Simpson (Pennsylvania State University).

visit sgslogic.net ↗
0
sign in to dogear this
from
Math
added
2026-10-10
likes
0

similar

  1. Mathematical Logic mathematik.uni-muenchen.de
    site category #math link ↗

    Helmut Schwichtenberg.

  2. Introduction to Logic logic.stanford.edu
    site category #math link ↗

    Michael Genesereth, Eric J. Kao (Stanford University).

  3. Formal Logic maude.sip.ucm.es
    site category #math link ↗

    Miguel Palomino.

  4. Ben-Ari. Mathematical Logic for Computer Science springer.com
    site category #theoretical-computer-science link ↗

    Semantic tableaux are used because they are theoretically sound and easy to understand.

  5. An Introduction to Formal Logic fecundity.com
    site category #math link ↗

    P.D. Magnus (University at Albany).

  6. Gries & Schneider. A Logical Approach to Discrete Math springer.com
    site category #theoretical-computer-science link ↗

    It attempts to change the way we teach logic to beginning students. Instead of teaching logic as a subject in isolation, we regard it as a basic tool and show how to use it.

Math › Foundations and Logic > Logic: “Stephen G. Simpson (Pennsylvania State University).”