Type theory and the informal language of mathematics
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 352-365
- https://doi.org/10.1007/3-540-58085-9_84
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Intuitionistic categorial grammarLinguistics and Philosophy, 1991
- Proof Theory and MeaningPublished by Springer Nature ,1986
- Syntactic StructuresPublished by Walter de Gruyter GmbH ,1957