Payment icons

       

Έχεις μια καλύτερη τιμή γι αυτό το βιβλίο;

Γίνε συνεργάτης και καταχώρησε την προσφορά σου!

Γίνετε Πωλητής / Υποβολή Προσφοράς

Περιγραφή

Now much revised since its first appearance in 1941, this book, despite its brevity, is notable for its scope and rigor. It provides a single strand of simple techniques for the central business of modern logic. Basic formal concepts are explained, the paraphrasing of words into symbols is treated at some length, and a testing procedure is given for truth-function logic along with a complete proof procedure for the logic of quantifiers. Fully one third of this revised edition is new, and presents a nearly complete turnover in crucial techniques of testing and proving, some change of notation, and some updating of terminology. The study is intended primarily as a convenient encapsulation of minimum essentials, but concludes by giving brief glimpses of further matters. (From the publisher) + Περιεχόμενα (P/B) ELEMENTARY LOGIC +
9780674244511
1 Αντίτυπο(α)
Χρόνος αποστολής και χρεώσεις:

Λεπτομερειες

Εκδότης
HARVARD UNIVERSITY PRESS
ISBN
9780674244511
Σελίδες
144
Έκδοση
1981
Τύπος
ΕΝΤΥΠΗ ΕΚΔΟΣΗ
Κατάσταση
Καινουριο
Διαστάσεις
22x13

Συγγραφέας: QUINE V. WILLARD [VAN ORMAN QUINE WILLARD]

Ο Ουίλαρντ βαν Όρμαν Κουίν [1908-2000], ήταν Αμερικανός φιλόσοφος και λογικολόγος της αναλυτικής παράδοσης, ο οποίος θεωρείται ένας από τους σημαντικότερους φιλοσόφους του 20ού αιώνα.

Ισως θελετε να δείτε και...