| Shelfclass_id | 4.B.1 |
| Sortkey | GABBAY, DOV M |
| Authors | Dov M. Gabbay |
| Title | Elementary Logics: A Procedural Perspective |
| Publisher | Prentice Hall Europe |
| Year | 1998 |
| Languages | eng |
| Isbn | 0137263651 |
| Series | Prentice Hall series in computer science |
| Description | (alk. paper) |
| Record date | 20060823 |
| Location | New York |
| Keywords | Computer science, Logic, Symbolic and mathematical |