Archive for Mathematical Logic was created in 1950.
Principles of Mathematical Logic was created in 1938.
Journal of Mathematical Logic was created in 2001.
Edward P. Lynch has written: 'Applied symbolic logic' -- subject(s): Chemical engineering, Mathematics, Symbolic and mathematical Logic
Robert Feys has written: 'Logistiek, geformaliseerde logica' -- subject(s): Logic, Symbolic and mathematical, Symbolic and mathematical Logic 'Modal logics' -- subject(s): Logic, Symbolic and mathematical, Modality (Logic), Symbolic and mathematical Logic
Joseph Robert Schoenfield has written: 'Mathematical logic' -- subject(s): Logic, Symbolic and mathematical, Symbolic and mathematical Logic
Mathematical logic is a branch of mathematics which brings together formal logic and mathematics. Mathematical logic entails formal systems for defining the basics and then using the deductive power of logic to develop a system of formal proofs.
Georg Kreisel has written: 'Elements of mathematical logic (Model theory)' -- subject(s): Symbolic and mathematical Logic 'Elements of mathematical logic' -- subject(s): Symbolic and mathematical Logic 'Modelltheorie' -- subject(s): Model theory
M. Ben-Ari has written: 'Mathematical logic for computer science' -- subject(s): Logic, Symbolic and mathematical, Symbolic and mathematical Logic
Abram Aronovich Stoliar has written: 'Introduction to elementary mathematical logic' -- subject(s): Logic, Symbolic and mathematical, Symbolic and mathematical Logic
A. C. Leisenring has written: 'Mathematical logic and Hilbert's & symbol' -- subject(s): Symbolic and mathematical Logic 'Mathematical logic and Hilbert's E-Symbol'
Mathematical logic and proof theory (a branch of mathematical logic) for proof