Article Saul A. Kripke (2022)
Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History. History and Philosophy of Logic (pp. 175-182). (/isis/citation/CBB257161891/) unapi

Article Márcia R. Cerioli; Hugo Nobrega; Guilherme Silveira; et al. (2022)
On the (In)Dependence of the Peano Axioms for Natural Numbers. History and Philosophy of Logic (pp. 51-69). (/isis/citation/CBB173126247/) unapi

Article Jan Vrhovski (2021)
‘Qinghua School of Logic’: Mathematical Logic at Qinghua University in Peking, 1926–1945. History and Philosophy of Logic (pp. 247-261). (/isis/citation/CBB138107081/) unapi

Article Jan Vrhovski (2021)
On Infinitesimals and Indefinitely Cut Wooden Sticks: A Chinese Debate on ‘Mathematical Logic’ and Russell’s Introduction to Mathematical Philosophy from 1925. History and Philosophy of Logic (pp. 262-280). (/isis/citation/CBB635980926/) unapi

Article Mark Textor (2021)
Saying Something about a Concept: Frege on Statements of Number. History and Philosophy of Logic (pp. 60-71). (/isis/citation/CBB227044624/) unapi

Article Okihito Utamura (2020)
Revisiting the Exegetical Tradition of Galen's Prologue to the Art of Medicine before Leoniceno: Logic, Teaching, and Didactics in Pietro Torrigiano's Plusquam commentum. History and Philosophy of Logic (pp. 352-375). (/isis/citation/CBB311017348/) unapi

Article Lukas M. Verburgt (2020)
The Venn-MacColl Dispute in Nature. History and Philosophy of Logic (pp. 244-251). (/isis/citation/CBB593764131/) unapi

Article Thierry Coquand; Stefan Neuwirth (2020)
Lorenzen's Proof of Consistency for Elementary Number Theory. History and Philosophy of Logic (pp. 281-290). (/isis/citation/CBB167711373/) unapi

Article Tim Lethen (2020)
Kurt Gödel's Anticipation of the Turing Machine: A Vitalistic Approach. History and Philosophy of Logic (pp. 252-264). (/isis/citation/CBB073357293/) unapi

Article Palle Yourgrau (2020)
Proof vs Provability: On Brouwer’s Time Problem. History and Philosophy of Logic (pp. 140-153). (/isis/citation/CBB479319966/) unapi

Article Zhao Fan (2020)
Hobson’s Conception of Definable Numbers. History and Philosophy of Logic (pp. 128-139). (/isis/citation/CBB837308592/) unapi

Article Christopher Izgin (2020)
Internal Negation and the Principles of Non-Contradiction and of Excluded Middle in Aristotle. History and Philosophy of Logic (pp. 1-15). (/isis/citation/CBB305574148/) unapi

Article Miriam Franchella (2019)
Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting. History and Philosophy of Logic (pp. 152-181). (/isis/citation/CBB604456688/) unapi

Review Roy Cook (2019)
Review of "Logic: A Very Short Introduction". History and Philosophy of Logic. (/isis/citation/CBB601848735/) unapi

Article Henri Wagner (2019)
Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem. History and Philosophy of Logic (pp. 182-199). (/isis/citation/CBB360374445/) unapi

Article Rachel Boddy (2019)
Frege’s Unification. History and Philosophy of Logic (pp. 135-151). (/isis/citation/CBB550734458/) unapi

Article Behnam Zolghadr (2019)
Avicenna on the Law of Non-contradiction. History and Philosophy of Logic (pp. 105-115). (/isis/citation/CBB275310270/) unapi

Review Michael Scanlan (2019)
Review of "The History of Philosophical and Formal Logic: From Aristotle to Tarski". History and Philosophy of Logic. (/isis/citation/CBB439075660/) unapi

Article Lorenz Demey (2019)
Boolean Considerations on John Buridan's Octagons of Opposition. History and Philosophy of Logic (pp. 116-134). (/isis/citation/CBB011647892/) unapi

Article Fitzgerald, Michael J. (2015)
The “Mysterious” Thomas Manlevelt and Albert of Saxony. History and Philosophy of Logic (pp. 129-146). (/isis/citation/CBB001552592/) unapi