Normal view
MARC view
University series in mathematics (Plenum Press) (Uniform Title)
Machine generated authority record.
Work cat.: (MY-SjTCS)66753: Mints, G. E. 295870, A short introduction to intuitionistic logic, 2000.