forall x: An Introduction to Formal Logi
β P. D. Magnus
π Library
π English
β Scribed by Paul Lorenzen
No coin nor oath required. For personal study only.
Inhaltsverzeichnis
Einleitung
I. Syllogistik
II. Klassische Logik der Junktoren
III. KalkΓΌle der Junktorenlogik
IV. Effektive Logik der Junktoren
V. Logik der Quantoren
VI. Logik der Gleichheit
ANHANG
Literaturverzeichnis
Namenverzeichnis
Sachverzeichnis
Symbolverzeichnis
π SIMILAR VOLUMES
forall x is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that