Theory of logical calculi : basic theory of consequence operations / Ryszard Wójcicki. (Synthese library ; v. 199)

Theory of logical calculi : basic theory of consequence operations / Ryszard Wójcicki.

(Synthese library ; v. 199)

Notes on use

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
ISBN: 9027727856
Title: Theory of logical calculi : basic theory of consequence operations / Ryszard Wójcicki.
Series Title: Synthese library ; v. 199
Author Heading: Wójcicki, Ryszard.
Publication, Distribution, etc.: Dordrecht : Kluwer Academic Publishers
Boston : Kluwer Academic Publishers
Publication Date: c1988.
Publication Date (W3CDTF): 1988
Extent: xviii, 473 p. ; 23 cm.
Alternative Title: Logical calculi.
Place of Publication (Country Code): NL
Text Language Code: eng
Subject Heading: 記号論理学. Kigoronrigaku.
Logic, Symbolic and mathematical.
LCC: QA9
DDC: 511/.3
NDLC: MA41
Note (General): Includes indexes.
Note (Bibliography): Bibliography: p. 437-458.
Holding library: 国立国会図書館
Call No.: MA41-A46
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003171165
http://id.ndl.go.jp/bib/000003171165
LC Control Number: 88019222
https://lccn.loc.gov/88019222
Bibliographic Record Category (NDL): 211