|
|
|
|
LEADER |
01271nam a2200277 a 4500 |
001 |
001175824 |
005 |
20221024133907.0 |
008 |
080317s1989 xxua b 001 u eng |
020 |
|
|
|a 3764334533
|
020 |
|
|
|a 0817634533
|
020 |
|
|
|a 9780817647629
|
089 |
|
|
|a 005.115
|
100 |
1 |
|
|a Schöning, Uwe,
|d 1955-
|
245 |
1 |
0 |
|a Logic for computer scientists /
|c Uwe Schöning.
|
250 |
|
|
|a 1st ed. 1989. 2nd printing 2008
|
260 |
|
|
|a Boston :
|b Birkhäuser,
|c 1989.
|
300 |
|
|
|a [x],168 p ;
|c 24 cm.
|
490 |
|
0 |
|a Progress in computer science and applied logic ;
|v v. 8
|
500 |
|
|
|a Originally published: 1989.
|
650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
650 |
|
0 |
|a Logic programming
|
952 |
|
|
|0 0
|1 0
|4 0
|6 005_115000000000000_SCH
|7 0
|9 739846
|a PILKINGTON
|b PILKINGTON
|c MAIN
|d 2008-03-17
|g 22.17
|l 13
|m 14
|o 005.115/SCH
|p 0403536820
|r 2023-02-17
|s 2022-10-04
|w 2018-02-01
|y LONG
|
952 |
|
|
|0 0
|1 0
|4 0
|6 005_115000000000000_SCH
|7 0
|9 739847
|a PILKINGTON
|b PILKINGTON
|c MAIN
|d 2017-08-31
|g 25.83
|l 5
|m 42
|o 005.115/SCH
|p 0404474160
|r 2023-02-09
|s 2022-10-24
|w 2018-02-01
|y LONG
|
952 |
|
|
|0 0
|1 0
|4 0
|6 005_115000000000000_SCH
|7 0
|9 739848
|a PILKINGTON
|b PILKINGTON
|c MAIN
|d 2017-08-31
|g 25.83
|l 10
|m 11
|o 005.115/SCH
|p 0404474179
|r 2022-12-13
|s 2022-10-05
|w 2018-02-01
|y LONG
|
999 |
|
|
|c 453286
|d 453286
|
942 |
0 |
0 |
|0 21
|