Αρχική / Θετικές Επιστήμες / Μαθηματικά / Μαθηματική Λογική / Logic: The Theory of Formal Inference

Logic: The Theory of Formal Inference

ΣΥΓΓΡΑΦΕΙΣ
Τιμή
12,30 €
13,70 € -10%
Διαθέσιμο κατόπιν παραγγελίας
Αποστέλλεται σε 15 - 25 ημέρες.

Προσθήκη στα αγαπημένα

Geared toward college undergraduates new to the subject, this concise introduction to formal logic was written by Alice Ambrose and Morris Lazerowitz, a pair of noted scholars and prolific authors in this field. A preliminary section opens the subject under the heading of truth-functions. Two subsequent parts on quantification and classes, each subdivided into numerous brief specifics, complete the overview.Suitable for students of philosophy as well as mathematics, the three-part treatment begins with the intuitive development of the standard theory of sentential connectives (called "operators"). The theory is further developed with the assistance of truth-tables and ultimately as a logistic system. Part II explores first-order quantification theory. In addition to examining most of the familiar laws that can be expressed by monadic formulas, the text addresses polyadic principles and the theories of identity and descriptions. Part III focuses on elementary concepts of classes, from class membership and class inclusion to the algebra of classes. Each part concludes with a series of exercises.Reprint of the Holt, Rinehart and Winston, New York, 1961 edition.

Συγγραφείς: Ambrose Alice, Lazerowitz Morris
Εκδότης: DOVER
Σελίδες: 96
ISBN: 9780486796772
Εξώφυλλο: Μαλακό Εξώφυλλο
Αριθμός Έκδοσης: 1
Έτος έκδοσης: 2015

Σας προτείνουμε

Newsletter

Εγγραφείτε στο newsletter για να λαμβάνετε πρώτοι τις νέες κυκλοφορίες και τις προσφορές μας
Ο λογαριασμός σας Τα αγαπημένας σας