Shelfclass_id | 4.B.1 |
Sortkey | BOOLOS, GEORGE |
Authors | George Boolos |
Title | The Unprovability of Consistency: An Essay in Modal Logic |
Publisher | Cambridge University Press |
Year | 1979 |
Languages | eng |
Isbn | 0521218799 |
Description | viii, 184 p. 22 cm. |
Record date | 20061023 |
Location | New York |
Keywords | Modality (Logic), Proof theory |
Notes | Includes index. |