|
|
|
|
LEADER |
00000nam a2200000 4500 |
001 |
1439030 |
003 |
ICU |
005 |
19930302000000.0 |
008 |
930314s1964 nyu b 000 0 eng u |
010 |
|
|
|a 64010046
|
035 |
|
|
|a (ICU)BID16838972
|
035 |
|
|
|a (OCoLC)372930
|
040 |
|
|
|a DLC
|c WSU
|d OCL
|d SER
|d m/c
|d OCL
|d CGU
|d ICU
|
041 |
0 |
|
|a eng
|
050 |
0 |
|
|a BC135
|b .K18
|
082 |
|
|
|a 164
|
100 |
1 |
|
|a Kalish, Donald.
|
245 |
1 |
0 |
|a Logic;
|b techniques of formal reasoning
|c [by] Donald Kalish [and] Richard Montague.
|
260 |
|
|
|a New York,
|b Harcourt, Brace & World
|c [1964]
|
300 |
|
|
|a x, 350 p.
|c 24 cm.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a unmediated
|b n
|2 rdamedia
|
338 |
|
|
|a volume
|b nc
|2 rdacarrier
|
504 |
|
|
|a Bibliography: p. [341]-345.
|
650 |
|
0 |
|a Logic, Symbolic and mathematical
|
650 |
|
7 |
|a Logic
|2 fast
|0 http://id.worldcat.org/fast/fst01002014
|
650 |
|
7 |
|a Logic, Symbolic and mathematical.
|2 fast
|0 http://id.worldcat.org/fast/fst01002068
|
700 |
1 |
0 |
|a Montague, Richard,
|d 1930-1971
|e joint author.
|
903 |
|
|
|a Hathi
|
929 |
|
|
|a retrocon
|
999 |
f |
f |
|i 3a044f49-2dc3-5eeb-b6ef-3841e9f99c94
|s 9a75cd10-9f37-5644-b747-5f6fd03bad22
|
928 |
|
|
|t Library of Congress classification
|a BC135.K25
|l JRL
|c JRL-Gen
|i 2866302
|
928 |
|
|
|t Library of Congress classification
|a BC135.K25
|l JRL
|c JRL-Gen
|i 2866303
|
927 |
|
|
|t Library of Congress classification
|a BC135.K25
|l JRL
|c JRL-Gen
|b 17340517
|i 2811613
|
927 |
|
|
|t Library of Congress classification
|a BC135.K25
|l JRL
|c JRL-Gen
|b 15029213
|i 2811614
|