The Logical Basis for Computer Programming : Volume II. Deductive Systems /
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Reading :
Addison-Wesley Publishing Company,
1990
|
| Tags: |
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a22000003a 4500 | ||
|---|---|---|---|
| 001 | stu22219 | ||
| 005 | 20150617225746.4 | ||
| 008 | 940126s1990----xxu-----------------eng-d | ||
| 020 | |a 0-201-18261-0 | ||
| 040 | |a STU |b slo | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu | ||
| 080 | |a 681.3.06 | ||
| 100 | 1 | |a Manna, Zohar |4 aut | |
| 245 | 1 | |a The Logical Basis for Computer Programming : |b Volume II. Deductive Systems / |c [aut.]Manna,Zohar, Waldinger, ,Richard | |
| 260 | |a Reading : |b Addison-Wesley Publishing Company, |c 1990 | ||
| 300 | |a 642 s : |b Tab.,lit.,index | ||
| 700 | 1 | |a Waldinger, Richard |4 aut | |
| 996 | |b C92550 |c C*92550 |l CCXVI |s P |a 0 |w stu22219_0001 | ||