| Shelfclass_id | 4.B.1 |
| Sortkey | GABBAY, DOV M |
| Authors | Dov M. Gabbay |
| Title | Semantical Investigations in Heyting's Intuitionistic Logic |
| Publisher | distributed in the U.S.A. and Canada by Kluwer Boston |
| Year | c1981 |
| Languages | eng |
| Isbn | 9027712026 |
| Series | Synthese library |
| Volume | 148 |
| Description | x, 287 p. 23 cm |
| Record date | 20060823 |
| Location | Hingham, MA |
| Keywords | Intuitionistic mathematics |
| Notes | Includes index |