Lectures on the logic of computer programming /
Saved in:
| Author / Creator: | Manna, Zohar |
|---|---|
| Imprint: | Philadelphia, Pa. : Society for Industrial and Applied Mathematics, 1980. |
| Description: | iv, 49 p. ; 25 cm. |
| Language: | English |
| Series: | CBMS-NSF regional conference series in applied mathematics 31 CBMS-NSF regional conference series in applied mathematics 31 |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/371876 |
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 371876 | ||
| 003 | ICU | ||
| 005 | 19950830000000.0 | ||
| 008 | 800627s1980 pau b 00010 eng u | ||
| 010 | |a 79093153 | ||
| 020 | |a 0898711649 : |c $7.50 ($6.00 to members) | ||
| 035 | |a (ICU)BID5158204 | ||
| 035 | |a (OCoLC)6473326 | ||
| 040 | |a DLC |c DLC |d ICU | ||
| 041 | 0 | |a eng | |
| 050 | 0 | |a QA76.6 |b .M3559 | |
| 082 | |a 001.64/2 |2 19 | ||
| 100 | 1 | |a Manna, Zohar |0 http://id.loc.gov/authorities/names/n80082454 |1 http://viaf.org/viaf/71471476 | |
| 245 | 1 | 0 | |a Lectures on the logic of computer programming / |c Zohar Manna. |
| 260 | 0 | |a Philadelphia, Pa. : |b Society for Industrial and Applied Mathematics, |c 1980. | |
| 300 | |a iv, 49 p. ; |c 25 cm. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a unmediated |b n |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/n | ||
| 338 | |a volume |b nc |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/nc | ||
| 440 | 0 | |a CBMS-NSF regional conference series in applied mathematics |v 31 | |
| 504 | |a Bibliography: p. 49 | ||
| 650 | 0 | |a Computer programming |0 http://id.loc.gov/authorities/subjects/sh85107310 | |
| 650 | 0 | |a Logic, Symbolic and mathematical |0 http://id.loc.gov/authorities/subjects/sh85078115 | |
| 650 | 7 | |a Computer programming. |2 fast |0 http://id.worldcat.org/fast/fst00872390 | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 http://id.worldcat.org/fast/fst01002068 | |
| 830 | 0 | |a CBMS-NSF regional conference series in applied mathematics |v 31 |0 http://id.loc.gov/authorities/names/n42000084 | |
| 903 | |a HeVa | ||
| 903 | |a Hathi | ||
| 929 | |a cat | ||
| 999 | f | f | |i 3fb539f0-5e4b-5585-86f7-55a14dcdea05 |s d7226df2-03cc-5047-9009-7492139fcdf3 |
| 928 | |t Library of Congress classification |a QA76.6.M35590 |l ASR |c ASR-SciASR |i 1956030 | ||
| 927 | |t Library of Congress classification |a QA76.6.M35590 |l ASR |c ASR-SciASR |e CRERAR |b 20097647 |i 1164864 | ||
