LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science (Springer Undergraduate Texts in Philosophy)

Iacona, Andrea

ISBN 10: 3030648133 / ISBN 13: 9783030648138

Verlag: Springer, 2022

Beschreibung

Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.

Bestandsnummer des Verkäufers SHAK233964

Bibliografische Details

• Titel: LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science (Springer Undergraduate Texts in Philosophy)
• Verlag: Springer
• Erscheinungsjahr: 2022
• Sprache: Englisch
• ISBN-10: 3030648133
• ISBN-13: 9783030648138
• Einband: Softcover
• Zustand: Neu

Über diesen Titel

Inhaltsangabe

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.

Über die Autorin bzw. den Autor

​Andrea Iacona is Professor of Logic at the University of Turin. His main research interests are in logic and philosophy of language. His publications include Propositions (Name 2002), and Logical Form (Springer 2018).