TY - BOOK AU - Rival Ivan ed. ED - NATO Advanced study Institute( 1981 : Banff,Canada ) ED - NATO Advanced study Institute TI - Ordered sets: proceedings SN - 90-277-1396-0 U1 - 511.32 PY - 1982/// CY - Dordrecht PB - D Reidel Pub KW - Mathematical logic KW - Set theory ER -