Want this question answered?
Journal of Mathematical Logic was created in 2001.
Archive for Mathematical Logic was created in 1950.
Principles of Mathematical Logic was created in 1938.
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
A. H Basson has written: 'Introduction to symbolic logic' -- subject(s): Logic, Symbolic and mathematical, Symbolic and mathematical Logic