George Boolos

Œuvres (2)

Couverture : Meaning and method

Meaning and method

1990
Couverture : The logic of provability

The logic of provability

1993