|
|
|
|
| LEADER |
00000pam a2200000 a 4500 |
| 001 |
5822080 |
| 003 |
ICU |
| 005 |
20061108124500.0 |
| 008 |
000511s2006 cau b 001 0 eng |
| 010 |
|
|
|a 00040349
|
| 020 |
|
|
|a 1575862557 (alk. paper)
|
| 020 |
|
|
|a 1575862565 (pbk. : alk. paper)
|
| 040 |
|
|
|a DLC
|c DLC
|d DLC
|d NhCcYBP
|d UtOrBLW
|d OrLoB-B
|
| 050 |
0 |
0 |
|a BC135
|b .B745 2006
|
| 082 |
0 |
0 |
|a 160
|2 21
|
| 100 |
1 |
|
|a Brady, Ross,
|d 1943-
|0 http://id.loc.gov/authorities/names/n00087716
|1 http://viaf.org/viaf/70164101
|
| 245 |
1 |
0 |
|a Universal logic /
|c Ross Brady.
|
| 260 |
|
|
|a Stanford, Calif. :
|b CSLI Publications,
|c c2006.
|
| 300 |
|
|
|a xii, 346 p. ;
|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. 109
|
| 504 |
|
|
|a Includes bibliographical references (p. 327-337) and index.
|
| 505 |
0 |
0 |
|g 1.
|t Philosophical support for the logic DJ[superscript d]Q --
|g 2.
|t Semantics for the logic DJ[superscript d]Q --
|g 3.
|t Proof theory for the logic DJ[superscript d]Q --
|g 4.
|t Properties of the logic DJ[superscript d]Q --
|g 5.
|t Philosophical support for the theories of classes and sets --
|g 6.
|t Simple consistency of the class theory --
|g 7.
|t Simple consistency of the class theory combined with the set theory and other theories --
|g 8.
|t Simple consistency of the higher-order predicate logic --
|g 9.
|t Formal development of the axiomatic theories --
|g 10.
|t Conclusion.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|0 http://id.loc.gov/authorities/subjects/sh85078115
|
| 650 |
|
7 |
|a Logic, Symbolic and mathematical.
|2 fast
|0 http://id.worldcat.org/fast/fst01002068
|
| 901 |
|
|
|a toc_bna
|
| 903 |
|
|
|a HeVa
|
| 035 |
|
|
|a (OCoLC)44117970
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 669b932b-13ad-5e6b-9447-da2d66bcd101
|s eceb8ada-c621-5f40-9625-9a1b07aed38c
|
| 928 |
|
|
|t Library of Congress classification
|a BC135 .B745 2006
|l JRL
|c JRL-Gen
|i 4863651
|
| 927 |
|
|
|t Library of Congress classification
|a BC135 .B745 2006
|l JRL
|c JRL-Gen
|b 75017222
|i 7956812
|
