| Shelfclass_id | 4.B.1 |
| Sortkey | FITTING, MELVIN |
| Authors | Melvin Fitting |
| Title | Proof Methods for Modal and Intuitionistic Logics |
| Publisher | Sold and distributed in the U.S.A. and Canada by Kluwer Boston |
| Year | c1983 |
| Languages | eng |
| Isbn | 9027715734 |
| Series | Synthese library |
| Volume | 169 |
| Description | viii, 555 p. 24 cm. |
| Record date | 20090707 |
| Location | Hingham, MA |
| Keywords | Proof theory, Modality (Logic), Intuitionistic mathematics |
| Notes | Includes index. |