TY - BOOK AU - Langer,Susanne Katherina Knauth TI - An introduction to symbolic logic U1 - 160 PY - 1953/// CY - New York PB - Dover Publications KW - Λογική KW - Συμβολική N1 - α' έκδ. 1937; Απογραφή Φεβρουάριος 1995; Περιλαμβάνει βιβλιογραφικές αναφορές και ευρετήριο; Περιεχόμενα: The study of forms / The essentials of logical structure / Generalization / Classes / Pricipal relations among classes / The universe of classes / The deductive system of classes / The algebra of logic / Abstraction and interpretation / The calculus of propositions / The assumptions of Principia mathematica / logistics / Appendix A: Symbolic logic and the logic of the syllogism / Appendix B: Proofs of theorems 11a and 11b / Appendix C: The construction and use of truth-tables ER -