The surveyability of mathematical proof

A historical perspective

2006

O. B. Bassler

Synthese 148 (1)

The birthplace of thinking

Heidegger's late thoughts on tautology

2001

O. B. Bassler

Heidegger Studies 17

Leibniz on intension, extension, and the representation of syllogistic inference

1998

O. B. Bassler

Synthese 116 (2)