"The Logic of Brouwer and Heyting."

Joan Rand Moschovakis (2009)

Details and statistics

DOI: 10.1016/S1874-5857(09)70007-X

access: closed

type: Reference Work

metadata version: 2017-07-12