Mathematical Logic, Revised Edition

Couverture
Harvard University Press, 30 juin 2009 - 359 pages
0 Avis
Les avis ne sont pas validés, mais Google recherche et supprime les faux contenus lorsqu'ils sont identifiés

W. V. Quine's systematic development of mathematical logic has been widely praised for the new material presented and for the clarity of its exposition. This revised edition, in which the minor inconsistencies observed since its first publication have been eliminated, will be welcomed by all students and teachers in mathematics and philosophy who are seriously concerned with modern logic.

Max Black, in Mind, has said of this book, "It will serve the purpose of inculcating, by precept and example, standards of clarity and precision which are, even in formal logic, more often pursued than achieved."

 

Avis des internautes - Rédiger un commentaire

Aucun commentaire n'a été trouvé aux emplacements habituels.

Table des matières

Introduction
1
CHAPTER ONE Statements
9
CHAPTER TWO Quantification
63
CHAPTER THREE Terms
117
CHAPTER FOUR Extended Theory of Classes
153
CHAPTER FIVE Relations
195
CHAPTER SIX Number
235
CHAPTER SEVEN Syntax
281
APPENDIX Theorem versus Metatheorem
319
List of Definitions
323
List of Theorems and Metatheorems
325
Bibliographical References
331
Index of Proper Names
339
Index of Subjects
341
Droits d'auteur

Autres éditions - Tout afficher

Mathematical Logic
Willard Van Orman Quine
Affichage d'extraits - 1962

Expressions et termes fréquents

abbreviation abstract according alphabetic alternation analogue appears applied arithmetic atomic axioms bears belongs biconditional bound called closure components composition conditional conjunction connective construction construed containing free occurrences contains context convenient corresponding course defined definition described distinct dots element entities equivalent explained expression fact false fashion formal formula free variables function further given hand hence identity included indicate involving joint denial Jones kind letters logical mathematical matrix matter meaning membership merely metatheorems method mode mortal names natural number notation Note notion object pairs parentheses present primitive Proof protosyntactical proves putting quantification ratios real numbers refer relation respect result sense shows similar Similarly simply sort statements symbolically tautologous theorem theory tion true truth truth-functional turn variables whole

Informations bibliographiques

QR code for Mathematical Logic, Revised Edition
TitreMathematical Logic, Revised Edition
AuteurWillard QUINE
Éditionrévisée
ÉditeurHarvard University Press, 2009
ISBN0674042468, 9780674042469
Longueur359 pages
  
Exporter la citationBiBTeX EndNote RefMan