@inbook{auerbach_2005, title={How to say things with formalisms}, DOI={10.4324/9780203980255}, booktitle={Proof, Logic and Formalization}, author={Auerbach, D.}, year={2005}, pages={77–93} }
 @article{auerbach_1994, title={Saying it wth numerals}, volume={35}, DOI={10.1305/ndjfl/1040609300}, number={1}, journal={Notre Dame Journal of Formal Logic}, author={Auerbach, David}, year={1994}, pages={130–146} }
 @inbook{auerbach_1992, title={How to say things with formalisms}, booktitle={Proof, logic, and formalization}, publisher={London; New York: Routledge}, author={Auerbach, D.}, year={1992}, pages={77–93} }
 @article{auerbach_1985, title={Intensionality and the GC6del theorems}, volume={48}, number={3}, journal={Philosophical Studies (Dordrecht, Netherlands)}, author={Auerbach, D.}, year={1985}, pages={337} }
 @article{auerbach_1985, title={Intensionality and the Gödel Theorems}, volume={48}, DOI={10.1007/BF01305394}, number={3}, journal={Philosophical Studies}, author={Auerbach, D.D.}, year={1985}, pages={337–351} }
 @article{auerbach_carter_1979, title={Agent Causality: A Model}, volume={28}, DOI={10.5840/tulane1979281}, journal={Tulane Studies in Philosophy}, author={Auerbach, David and Carter, WR}, year={1979}, pages={71–79} }