Go to main content
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Cite
Citation

Linked e-resources

Details

1 Basic notion
2 Validity
3 Formality
4 The symbols of propositional logic
5 The language L
6 Logical consequence in L
7 The system Sn
8 Derivability in Sn
9 The system Sa
10 Consistency, soundness, completeness
11 Quantification
12 The symbols of predicate logic.

Browse Subjects

Show more subjects...

Statistics

from
to
Export