The Boole-De Morgan correspondence 1842-1864 by De Morgan, Augustus, Boole, George, Smith, G. C. fromOxford logic guide 0 Type: Book
Choice sequences: a chapter of intuitionistic mathematics by Troelstra, A. S. fromOxford logic guide 0 Type: Book
Formal number theory and computability: a workbook by Fisher, Alec fromOxford logic guide 0 Type: Book
Temporal logic: mathematical foundations and computational aspects by Gabbay, Dov M., Reynolds, Mark, Hodkinson, Ian fromOxford logic guide 0 Type: Book
Classical propositional operators: an exercise in the foundations of logic by Segerberg, Krister fromOxford logic guide 0 Type: Book
