Deductive systems and categories II. Standard constructions and closed categories
Author:
- 1 January 1969
- book chapter
- Published by Springer Nature
- p. 76-122
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
This publication has 1 reference indexed in Scilit: