Intensional mathematics and constructive mathematics: introduction

Shapiro, S.

Studies in Logic and the Foundations of Mathematics 113: 1-10

1985


ISSN/ISBN: 0049-237X
Document Number: 279444

Document emailed within 1 workday
Secure & encrypted payments