|
|
|
|
| LEADER |
01974nam a2200385 a 4500 |
| 001 |
1903544 |
| 005 |
20171111234738.0 |
| 008 |
950328s1996 enka ob 001 0 eng d |
| 020 |
|
|
|a 0203028104
|q (electronic bk.)
|
| 020 |
|
|
|a 9780203028100
|
| 020 |
|
|
|a 9781134800285
|q (electronic bk.)
|
| 020 |
|
|
|a 1134800282
|q (electronic bk.)
|z 0415125995
|q (hbk.)
|q (pbk.)
|z 0415126002
|z 9780415125994
|
| 040 |
|
|
|a INU
|b eng
|e pn
|z 9780415126007
|
| 050 |
|
4 |
|a BC199.M6
|b H85 1996eb
|
| 100 |
1 |
|
|a Hughes, G. E.
|d 1918-
|q (George Edward),
|
| 245 |
1 |
2 |
|a A new introduction to modal logic /
|c G.E. Hughes and M.J. Cresswell.
|
| 260 |
|
|
|a London ;
|b Routledge,
|c 1996.
|a New York :
|
| 300 |
|
|
|a 1 online resource (x, 421 pages) :
|b illustrations
|
| 504 |
|
|
|a Includes bibliographical references (pages 384-397) and index.
|
| 505 |
0 |
|
|a Book Cover; Title; Contents; Preface; The Basic Notions; The Systems K, T and D; The Systems S4, S5, B, Triv and Ver; Testing for validity; Conjunctive Normal Form; Completeness; Canonical Models; Finite Models; Incompleteness; Frames and Systems; Strict Implication; Glimpses Beyond; The Lower Predicate Calculus; The Completeness of Modal LPC; Expanding Domains; Modality and Existence; Identity and Descriptions; Intensional Objects; Further Issues; Axioms, Rules and Systems; Solutions to Selected Exercises; Bibliography; Index.
|
| 650 |
|
0 |
|a Modality (Logic)
|
| 650 |
|
4 |
|a logique modale.
|
| 650 |
|
4 |
|a calcul propositionnel.
|
| 650 |
|
4 |
|a calcul prédicat.
|
| 650 |
|
7 |
|a PHILOSOPHY
|x Logic.
|
| 650 |
|
7 |
|a Modality (Logic)
|
| 650 |
1 |
7 |
|a Modale logica.
|
| 650 |
0 |
7 |
|a Modallogik.
|
| 650 |
|
7 |
|a Logica matematica.
|
| 650 |
|
7 |
|a Logique mathématique non classique.
|
| 650 |
|
7 |
|a Modalité (logique)
|
| 650 |
|
7 |
|a Logique symbolique et mathématique.
|
| 700 |
1 |
|
|a Cresswell, M. J.
|
| 856 |
4 |
0 |
|u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=459985
|
| 952 |
|
|
|a CY-NiOUC
|b 5a0466406c5ad14ac1eee7f8
|c 998a
|d 945l
|e -
|t 1
|x m
|z Books
|
