Books on Amazon
|Schematic Letters||II 115
Fragment / stronger / weaker / Field / (s): weak fragment of substitutional quantification (sQ): without substitutional quantifiers: here we handle schema letters as variables for sets - then the schemes themselves are part of the language - not only their instances.
Realism, Mathematics and Modality Oxford New York 1989
Truth and the Absence of Fact Oxford New York 2001
Science without numbers Princeton New Jersey 1980