Truth and the Unprovability of Consistency
Hartry Field
Introduction to Symbolic Logic and Its Applications
Rudolf Carnap
Starman's Quest
Robert Silverberg
What is an Assemblage?
Thomas Nail
A View from the Stars
Liu Cixin