| Shelfclass_id | 4.B.1 |
| Sortkey | BOOLOS, GEORGE |
| Authors | George Boolos |
| Title | The Logic of Provability |
| Publisher | Cambridge University Press |
| Year | 1993 |
| Languages | eng |
| Isbn | 0521483255 |
| Description | xxxvi, 275 s. 24cm |
| Record date | 20090707 |
| Location | Cambridge |
| Keywords | Provability logic, Provability, Bevisteori, Proof theory, Modal logic, Modality (Logic), Mathematical logic, Modallogik, Logik, Logic |