Theory of logical calculi : basic theory of consequence operations / Ryszard Wójcicki.
Series Synthese library ; v. 199Editor: Dordrecht ; Boston : Kluwer Academic Publishers, c1988Descripción: xviii, 473 p. ; 23 cmISBN: 9027727856Tema(s): Logic, Symbolic and mathematicalOtra clasificación: 03-02 (03B05 03B20 03B45 03B99)Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 W847 (Browse shelf) | Available | A-6701 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 W673 Introduction to the foundations of mathematics / | 03 W673-2 Introduction to the foundations of mathematics / | 03 W721 Combinatorial set theory / | 03 W847 Theory of logical calculi : | 03 W887a The axiomatic method in biology / | 03 W887b Biology and language : | 03 W887t The technique of theory construction / |
Bibliografía: p. 437-458.
Includes indexes.
MR, 90j:03001
There are no comments on this title.