Shelfclass_id | 4.B.1 |
Sortkey | WOJCICKI, RYSZARD |
Authors | Ryszard Wojcicki |
Title | Theory of Logical Calculi: Basic Theory of Consequence Operations |
Publisher | Kluwer Academic Publishers |
Year | c1988 |
Languages | eng |
Isbn | 9027727856 |
Series | Synthese library |
Volume | 199 |
Description | xviii, 473 p. 23 cm. |
Record date | 20061023 |
Location | Boston |
Keywords | Logic, Symbolic and mathematical |
Notes | Includes indexes. |