|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
1584748 |
| 003 |
ICU |
| 005 |
19970812073000.0 |
| 008 |
940304s1993 caua b 001 0 eng |
| 010 |
|
|
|a 93013522
|
| 020 |
|
|
|a 1881526240 (cloth) :
|c $45.00
|
| 020 |
|
|
|a 1881526232 (paper) :
|c $18.00
|
| 035 |
|
|
|a (ICU)BID18337394
|
| 035 |
|
|
|a (OCoLC)28024401
|
| 040 |
|
|
|c DLC
|d DLC$dOrLoB
|
| 050 |
0 |
0 |
|a QA9.46
|b .G66 1993
|
| 082 |
|
|
|a 511.3
|2 20
|
| 100 |
1 |
|
|a Goldblatt, Robert
|0 http://id.loc.gov/authorities/names/n78048446
|1 http://viaf.org/viaf/108820753
|
| 245 |
1 |
0 |
|a Mathematics of modality /
|c Robert Goldblatt.
|
| 260 |
|
|
|a Stanford, Calif. :
|b CSLI Publications,
|c c1993.
|
| 300 |
|
|
|a v, 273 p. :
|b ill. ;
|c 24 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 CSLI lecture notes
|v no. 43
|
| 504 |
|
|
|a Includes bibliographical references (p. 259-266) and index.
|
| 505 |
0 |
0 |
|g 1.
|t Metamathematics of Modal Logic --
|g 2.
|t Semantic Analysis of Orthologic --
|g 3.
|t Orthomodularity is not Elementary --
|g 4.
|t Arithmetical Necessity, Provability and Intuitionistic Logic --
|g 5.
|t Diodorean Modality in Minkowski Spacetime --
|g 6.
|t Grothendieck Topology as Geometric Modality --
|g 7.
|t The Semantics of Hoare's Iteration Rule --
|g 8.
|t An Abstract Setting for Henkin Proofs --
|g 9.
|t A Framework for Infinitary Modal Logic --
|g 10.
|t The McKinsey Axiom Is Not Canonical --
|g 11.
|t Elementary Logics are Canonical and Pseudo-Equational.
|
| 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
|
| 850 |
|
|
|a ICU
|
| 901 |
|
|
|a ToCBNA
|
| 903 |
|
|
|a HeVa
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 66bfd702-8f13-5235-a1d2-e871d5f6f02e
|s ce09e8df-a078-5a6b-9518-325e2e050b3a
|
| 928 |
|
|
|t Library of Congress classification
|a QA9.46.G660 1993
|l ASR
|c ASR-SciASR
|i 2747124
|
| 927 |
|
|
|t Library of Congress classification
|a QA9.46.G660 1993
|l ASR
|c ASR-SciASR
|e CRERAR
|b 39604136
|i 3013868
|
