|
|
|
|
LEADER |
00862cam a22002531 4500 |
001 |
15757 |
008 |
960201s1990 enkf bi 00100 eng |
020 |
|
|
|a 0201416433
|
040 |
|
|
|a TRMEMSKU
|
041 |
0 |
|
|a eng
|
049 |
|
|
|a TR7VH
|
050 |
0 |
0 |
|a QA9
|b .R448 1990
|
100 |
1 |
|
|a Reeves, Steven
|9 144548
|
245 |
1 |
0 |
|a Logic for computer science /
|c Steve Reeves, Michael Clarke.
|
260 |
|
|
|a Workingham :
|b Addison-Wesley,
|c 1990.
|
300 |
|
|
|a XI, 260 s. ;
|c 24 cm.
|
500 |
|
|
|a Dizin.
|
504 |
|
|
|a Bibliyografya : s. 255-256.
|
650 |
|
4 |
|a Mantık, sembolik ve matematiksel.
|9 144549
|
650 |
|
0 |
|9 14725
|a Logic, Symbolic and mathematical
|
700 |
1 |
|
|a Clarke, Michael
|9 144550
|
942 |
|
|
|2 lcc
|
999 |
|
|
|c 14169
|d 14169
|
952 |
|
|
|0 0
|1 0
|2 lcc
|4 0
|5 0
|6 QA0009 R448 01990
|7 0
|9 22913
|a MK
|b MK
|c MK
|d 1994-10-18
|e S
|g 455000.00
|l 4
|o QA9 .R448 1990
|p 0001965
|r 2016-12-10
|t k.1
|w 1994-10-18
|y KT
|