|
|
|
|
| LEADER |
00000pam a2200000 a 4500 |
| 001 |
2786856 |
| 003 |
ICU |
| 005 |
20030524203900.0 |
| 008 |
970710s1997 ne a b 001 0 eng |
| 010 |
|
|
|a 97027411
|
| 020 |
|
|
|a 0792347110 (alk. paper)
|
| 035 |
|
|
|a (NhCcYBP)YBT 97027411
|
| 035 |
|
|
|a (NhCcYBP)YBP97328094959
|
| 040 |
|
|
|a DLC
|c DLC
|d DLC
|d OrLoB-B
|d OCoLC
|
| 050 |
0 |
0 |
|a QA9.46
|b .A38 1997
|
| 082 |
0 |
0 |
|a 160
|2 21
|
| 245 |
0 |
0 |
|a Advances in intensional logic /
|c edited by Maarten de Rijke.
|
| 260 |
|
|
|a Dordrecht ;
|a Boston :
|b Kluwer Academic Publishers,
|c c1997.
|
| 300 |
|
|
|a xiv, 291 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 Applied logic series
|v v. 7
|
| 504 |
|
|
|a Includes bibliographical references and indexes.
|
| 505 |
0 |
0 |
|t Modal Quantification over Structured Domains /
|r Johan Van Benthem and Natasha Alechina --
|t Modal Logic and Model-Theoretic Syntax /
|r Patrick Blackburn and Wilfried Meyer-Viol --
|t The Functional Interpretation of Modal Necessity /
|r Ruy J. G. B. De Queiroz and Dov M. Gabbay --
|t Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic /
|r Vladimir V. Rybakov --
|t The Logic of Correct Description /
|r Jerry Seligman --
|t Modal Logics of Arrows /
|r Dimiter Vakarelov --
|t A Full-Circle Theorem for Simple Tense Logic /
|r Heinrich Wansing --
|t Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline /
|r Michael Zakharyaschev --
|t The Modal Object Calculus and its Interpretation /
|r Edward N. Zalta.
|
| 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 Rijke, Maarten de
|0 http://id.loc.gov/authorities/names/n93035735
|
| 901 |
|
|
|a ToCBNA
|
| 903 |
|
|
|a HeVa
|
| 035 |
|
|
|a (OCoLC)37341291
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i b21a8bc1-e070-5fd9-b887-8c63287f02ee
|s 4e8c8889-2cdd-59dc-8743-df702dfca6f0
|
| 928 |
|
|
|t Library of Congress classification
|a QA9.46 .A38 1997
|l Eck
|c Eck-Eck
|i 3250266
|
| 927 |
|
|
|t Library of Congress classification
|a QA9.46 .A38 1997
|l Eck
|c Eck-Eck
|b 47492722
|i 5044736
|
