image

Logic and foundations math

Computability

Computational Logic

Computational Logic Automated Reasoning

Computational Logic Combinatory Logic and Lambda Calculus

Computational Logic Formulae-as-Types Correspondence

Computational Logic Classical Logic

Computational Logic Proofs as Processes

Computational Logic Logical Frameworks

Computational Logic Coq

Computational Logic LF Logical Framework

Directories

Education

Foundations

Game Semantics

Game Semantics People

History

History Ancient and Modern Logic

History People

History Bernays, Paul

History Boole, George

History Cantor, Georg

History Church, Alonzo

History Frege, Gottlob

History Gödel, Kurt

History Hilbert, David

History Lukasiewicz, Jan

History Peirce, Charles Sanders

History Post, Emil L.

History Skolem, Thoralf

History Tarski, Alfred

History Turing, Alan Mathison

History Zermelo, Ernst

Institutions

Institutions Europe

Institutions Germany

Institutions United Kingdom

Institutions North America

Knowledge Representation and Planning

Meetings

Meetings BLC

Meetings Calendars

Meetings ESSLLI

Meetings ISMVL

Meetings Logic Colloquium

Meetings Past Conferences

Meetings Series

Meetings WoLLIC

Model Theory

Nonstandard Logics and Extensions

Nonstandard Logics and Extensions Fuzzy Logic

Nonstandard Logics and Extensions People

Nonstandard Logics and Extensions Intuitionistic Logic

Nonstandard Logics and Extensions Martin-Löfs Type Theory

Nonstandard Logics and Extensions Many-valued Logic

Nonstandard Logics and Extensions Modal Logic

Nonstandard Logics and Extensions People

Nonstandard Logics and Extensions Provability and Interpretabili

Nonstandard Logics and Extensions Substructural Logics

Nonstandard Logics and Extensions Linear Logic

Nonstandard Logics and Extensions People

Nonstandard Logics and Extensions Relevance Logic

Nonstandard Logics and Extensions Temporal Logic

Online Discussion Groups

Organizations

People

People Students and Independent Scholars

Proof Theory

Proof Theory People

Publications

Publications Bibliographies

Publications Books

Publications Journals

Set Theory

Set Theory People

Software

About the author

19 thoughts on “Logic and foundations math”

  1. This user it trying to be anonymous.

    They used a fake email, so there should be no Gravatar associated with it.
    They did not speify a website, so there should be no link to it in the comment.

Leave a Reply

Your email address will not be published. Required fields are marked *