Edit search
Theorem Proving in Higher Order Logics, vol. 4732
Theorem Proving in Higher Order Logics, vol. 4732
Mizar%27s Soft Type System
Mizar%27s Soft Type System
eBook
Mizar%27s Soft Type System
Authors: Freek
Page: 383-399
Published: 2007
ISBN: 3540745904
  Full text availability for this item
  Print copies at your library
  Request a copy of this item
Cite this item