The foundations of intuitionistic mathematics

Details

Instance of: treatise
Publication date: 1965
Author: Stephen Cole Kleene
language of work or name: American English
number of pages: 226
publisher: North-Holland Publishing Company
title: The foundations of intuitionistic mathematics, especially in relation to recursive functions

Nothing in the MetaHistoryBook collection references this item yet.