Formal logic / by A. N. Prior.
Editor: Oxford : Clarendon Press, 1955Descripción: ix, 329 p. ; cmOtra clasificación: 03Bxx (03-01 03B05 03B45 03B50 03Cxx)Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
![]() |
Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 P958 (Browse shelf) | Available | A-118 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 P843r Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs / | 03 P857 The two-valued iterative systems of mathematical logic / | 03 P918 Natural deduction : | 03 P958 Formal logic / | 03 Q7f From a logical point of view : | 03 Q7ma Mathematical logic / | 03 Q7ma Mathematical logic / |
Incluye referencias bibliográficas.
Part I. The classical propositional and functional calculi -- Part II. The traditional logic of terms -- Part III. Modal, three-valued, and extensional systems.
MR, 17,569b
There are no comments on this title.