000 -LEADER |
fixed length control field |
02293nam a2200277 4500 |
001 - CONTROL NUMBER |
control field |
vtls001868860 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
MY-SjTCS |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20200226121315.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
110218t2001 at 001 eng |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
053455847X |
039 #9 - LEVEL OF BIBLIOGRAPHIC CONTROL AND CODING DETAIL [OBSOLETE] |
Level of rules in bibliographic description |
201909031544 |
Level of effort used to assign nonsubject heading access points |
ummi |
Level of effort used to assign subject headings |
201102181415 |
Level of effort used to assign classification |
VLOAD |
-- |
200407271914 |
-- |
VLOAD |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
160 |
Item number |
EPS |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Epstein, Richard L., |
Dates associated with a name |
1947- |
9 (RLIN) |
34093 |
245 10 - TITLE STATEMENT |
Title |
Propositional logics : |
Remainder of title |
the semantic foundations of logic / |
Statement of responsibility, etc. |
Richard L. Epstein ; with the assistance and collaboration of Walter A. Carnielli ... [et al.] |
250 ## - EDITION STATEMENT |
Edition statement |
2nd ed. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. |
Place of publication, distribution, etc. |
Australia ; |
-- |
Belmont, Calif. : |
Name of publisher, distributor, etc. |
Wadsworth, |
Date of publication, distribution, etc. |
c2001 |
300 ## - PHYSICAL DESCRIPTION |
Extent |
479 p. ; |
Dimensions |
24 cm. |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Preface and adknowledgements. - I. The Basic Assumptions of Propositional Logic. - II. Classical Propositional Logic. - III. Relatedness Logic : The Subject Matter of a Proposition -S and R-. - IV. A General Framework for Semantics for Propositional Logics. - V. Dependence Logics -D, Dual D, Eq, DPC-. - VI. Modal Logics - S4, S5, S4Grz,T, B, K, QT, MSI, ML, G, G*-. - VII. Intuitionism - Int and J -. VIII. Many-Valued Logics - L3, Ln, L, K3, G3, Gn G, S5 -. - IX. Paraconsistent Logic : J3 in collaboration with Itala M. L. D'Ottaviano. - X.anslations Between Logics. - XI. The Semantic Foundations of Logic. - Summary of Logics. - Bibliography. - Glossary of Notation. - Index of Examples. - Index. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
In this first and only book to unify many different logics within a common spectrum of semantic analysis, world-renowed logician Richard L. Epstein presents modern logic so readably that both beginning and advanced students will benefit. Epstein helps readers to see logic as the forrmalization of reasoning that needs and deserves a semantic foundation. Propositional Logics includes many worked examples, exrcieses, and open problems that illustrate the scope and limitations of modern logic. A special appendix offers a uniquely helpful summary of the syntax and semantics of the propositional logics studies in this book.- Back cover |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Language and logic. |
9 (RLIN) |
6926 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Logic, Symbolic and mathematical. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Proposition (Logic) |
9 (RLIN) |
102070 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Semantics (Philosophy) |
9 (RLIN) |
11123 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Carnielli, Walter A. |
9 (RLIN) |
102071 |
920 ## - Programme |
Programme |
UOS:C : 560424 |
999 ## - SYSTEM CONTROL NUMBERS (KOHA) |
Koha biblionumber |
180531 |
Koha biblioitemnumber |
180531 |