Logic for computer science /

Bibliographic Details
Main Author: Reeves, Steven
Other Authors: Clarke, Michael
Format: Book
Language:English
Published: Workingham : Addison-Wesley, 1990.
Subjects:
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