Logic for mathematics and computer science

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Burris, Stanley N.
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Upper Saddle River Prentice Hall 1998
Θέματα:
LEADER 01269nam a2200277 u 4500
001 10021298
003 upatras
005 20210117205531.0
008 990123s1998 us eng
020 |a 0132859742 
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a eng 
082 0 4 |a 511.3 
100 1 |a Burris, Stanley N.  |9 145776 
245 1 0 |a Logic for mathematics and computer science  |c Stanley N. Burris 
260 |a Upper Saddle River  |b Prentice Hall  |c 1998 
300 |a xix, 420 p.  |b fig.  |c 24 cm. 
504 |a Includes bibliographical references and index 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 511.3 BUR  |m 101387  |p 025000183159  |t 1 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ-12  |h 511.3 B  |m 042357  |p 025000026254  |t 1 
942 |2 ddc  |c BK15 
952 |0 0  |1 0  |4 0  |6 511_300000000000000_BUR  |7 0  |9 183019  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 101387  |l 3  |o 511.3 BUR  |p 025000183159  |r 2023-11-03 00:00:00  |s 2023-10-20  |t 1  |w 2016-04-24  |y BK15 
952 |0 0  |1 0  |4 0  |6 511_300000000000000_B  |7 0  |9 183020  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 042357  |l 1  |o 511.3 B  |p 025000026254  |r 2018-05-24 00:00:00  |s 2018-05-10  |t 1  |w 2016-04-24  |y BK15 
998 |c ΗΛΙΟΠΟΥΛΟΥ  |d 1999-04 
999 |c 112941  |d 112941