-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
Reports on mathematical logic.
Published 1973“…Reports on mathematical logic (Online)…”
Full Text Availability
Electronic Journal -
11
Annals of mathematical logic.
Full Text Availability
Electronic Journal -
12
Archive for mathematical logic.
Published 1988“…Archive for mathematical logic (Online)…”
Full Text Availability
Electronic Journal -
13
-
14
-
15
-
16
-
17
-
18
Classical mathematical logic : the semantic foundations of logic /
Published 2006Table of Contents: “…Classical propositional logic -- Abstracting and axiomatizing classical propositional logic -- The language of predicate logic -- The semantics of classical predicate logic -- Substitutions and equivalences -- Equality -- Examples of formalization -- Functions -- The abstraction of models -- Axiomatizing classical predicate logic -- The number of objects in the universe of a model -- Formalizing group theory -- Linear orderings -- Second-order classical predicate logic -- The natural numbers -- The integers and rationals -- The real numbers -- One-dimensional geometry -- Two-dimensional Euclidean geometry -- Translations within classical predicate logic -- Classical predicate logic with non-referring names -- The Liar paradox -- On mathematical logic and mathematics -- Appendix: The completeness of classical predicate logic proved by Gödel's Method.…”
CONNECT
Electronic eBook -
19
Mathematical logic quarterly : MLQ.
Published 1993“…Mathematical logic quarterly (Online)…”
Full Text Availability
Electronic Journal -
20