A Note on the Friedman Slash and Freyd Covers

Publisher Website

1 January 1982

book chapter
Published by Elsevier

p. 443-452
https://doi.org/10.1016/s0049-237x(09)70142-9

Abstract

No abstract available

This publication has 2 references indexed in Scilit:

Intuitionist type theory and the free topos
Journal of Pure and Applied Algebra, 1980
Tripos theory
Mathematical Proceedings of the Cambridge Philosophical Society, 1980