About Reference

Question & Design

Sampling & Measurement

Causality & Evidence

Reporting & Ethics

Home/Reference/Natural Sciences/Mathematics/Mathematical Logic and Foundations

Mathematical Logic and Foundations

Sub-topics

category theory foundations
computability theory
model theory
proof theory
set theory

Methods for this concept

Automated Theorem Proving
P-RAFSI
P-MULTIMOORA
Soft Set Theory
PIF-ARTASI
PIF-CIMAS
P-COPRAS
P-PSI

Related concepts

Philosophical Logic
Mathematics
Mathematical Analysis
Theory of Computation
Number Theory
Philosophy

SScholarGate

A content-first reference library for research methods — what each one is, how it works, and where it comes from.

Fields

Decision-making Statistics Econometrics Machine learning Survival

Library

All methods Which method?Advanced search Browse by field Reference atlas Glossary Open data (CC-BY)

About

Editorial standards Plans & tools Contact Suggest a method

Entries are compiled from published sources for reference. Verifying the accuracy and suitability of any information for your own use remains your responsibility.

© 2026 ScholarGate · A research-method reference library

Privacy Cookies Terms