Publication:3864482

zbMath0428.03001MaRDI QIDQ3864482

G. Temple

Publication date: 1977

zbMATH Keywords

history of theories of implication

Mathematics Subject Classification ID

03-03: History of mathematical logic and foundations

03B20: Subsystems of classical logic (including intuitionistic logic)

01A05: General histories, source books