Intuitionistic correspondence theory
By: Pieter Hendrik Rodenburg
Contributors: Universiteit van Amsterdam
Published: 1986
Language: eng
Number of pages: 165
Notes: Thesis (doctoral)--Universiteit van Amsterdam, 1986.