|
|
|
|
| LEADER |
00000pam a2200000 a 4500 |
| 001 |
3534874 |
| 003 |
ICU |
| 005 |
20030526212600.0 |
| 008 |
980904s1998 ne a b 001 0 eng |
| 010 |
|
|
|a 98037504
|
| 020 |
|
|
|a 079235334X (HB : alk. paper)
|
| 020 |
|
|
|a 0792353358 (pbk. : alk. paper)
|
| 035 |
|
|
|a (NhCcYBP)YBT 98037504
|
| 035 |
|
|
|a (NhCcYBP)YBP98358093239
|
| 040 |
|
|
|a DLC
|c DLC
|d NhCcYBP
|d OrLoB-B
|d OCoLC
|
| 050 |
0 |
0 |
|a BC199.M6
|b F58 1998
|
| 082 |
0 |
0 |
|a 160
|2 21
|
| 100 |
1 |
|
|a Fitting, Melvin,
|d 1942-
|0 http://id.loc.gov/authorities/names/n81018911
|1 http://viaf.org/viaf/46837603
|
| 245 |
1 |
0 |
|a First-order modal logic /
|c Melvin Fitting and Richard L. Mendelsohn.
|
| 246 |
3 |
|
|a First order modal logic
|
| 260 |
|
|
|a Dordrecht ;
|a Boston, Mass. :
|b Kluwer Academic,
|c c1998.
|
| 300 |
|
|
|a xii 287 p. :
|b ill. ;
|c 25 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 440 |
|
0 |
|a Synthese library
|v v. 277
|
| 504 |
|
|
|a Includes bibliographical references (p. 277-281) and index.
|
| 505 |
0 |
0 |
|g Ch. 1.
|t Propositional Modal Logic --
|g Ch. 2.
|t Tableau Proof Systems --
|g Ch. 3.
|t Axiom Systems --
|g Ch. 4.
|t Quantified Modal Logic --
|g Ch. 5.
|t First-Order Tableaus --
|g Ch. 6.
|t First-Order Axiom Systems --
|g Ch. 7.
|t Equality --
|g Ch. 8.
|t Existence and Actualist Quantification --
|g Ch. 9.
|t Terms and Predicate Abstraction --
|g Ch. 10.
|t Abstraction Continued --
|g Ch. 11.
|t Designation --
|g Ch. 12.
|t Definite Descriptions.
|
| 650 |
|
0 |
|a Modality (Logic)
|0 http://id.loc.gov/authorities/subjects/sh85086410
|
| 650 |
|
7 |
|a Modality (Logic)
|2 fast
|0 http://id.worldcat.org/fast/fst01024350
|
| 700 |
1 |
|
|a Mendelsohn, Richard L.
|0 http://id.loc.gov/authorities/names/n85269110
|1 http://viaf.org/viaf/106951572
|
| 901 |
|
|
|a ToCBNA
|
| 903 |
|
|
|a HeVa
|
| 035 |
|
|
|a (OCoLC)39886989
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i c55b10e8-f58a-58af-a337-871698c2dfd7
|s aa0e4afe-91d6-55e7-9385-b3e96aab94ad
|
| 928 |
|
|
|t Library of Congress classification
|a BC199.M6 F58 1998
|l JRL
|c JRL-Gen
|i 4102511
|
| 927 |
|
|
|t Library of Congress classification
|a BC199.M6 F58 1998
|l JRL
|c JRL-Gen
|b 48721446
|i 5940629
|
