| Shelfclass_id | 4.B.3 |
| Sortkey | THISTLEWAITE, PAUL B |
| Authors | Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer |
| Title | Automated Theorem-Proving in Non-Classical Logics |
| Publisher | Wiley |
| Year | 1988 |
| Languages | eng |
| Isbn | 0273087819, 0470210060 |
| Series | Research notes in theoretical computer science |
| Issn | 0268-7534 |
| Description | (Pitman) CIPrev. (Wiley) 154 s. tab. |
| Record date | 20061025 |
| Location | New York |
| Keywords | Logic, Symbolic and mathematical, Mathematics, Proof theory |