Author

Boolos, George

Catalogue records by Boolos, George in the PakCat Union Catalogue.

4 catalogue records

Catalogue records

Computability and logic Boolos, George 1974 Computability and logic Boolos, George 1980 THE LOGIC OF PROVABILITY BOOLOS GEORGE 1995 The unprovability of consistency Boolos, George 1979