| Shelfclass_id | 4.B.1 |
| Sortkey | KRANTZ, STEVEN G |
| Authors | Steven G Krantz |
| Title | Handbook of Logic and Proof Techniques for Computer Science |
| Publisher | Springer-Verlag |
| Year | 2002 |
| Languages | eng |
| Isbn | 081764220X |
| Description | (alk. paper) xix, 245 p. 24 cm. |
| Record date | 20071022 |
| Location | New York |
| Keywords | Computers, Electronic data processing |