TY - GEN digital ID - 131983570 TI - The theory of semisets AU - Vopenka, Petr AU - Hájek, Petr PY - 1972 SN - 0720422671 9780080954813 0080954812 PB - Amsterdam DB - UniCat KW - Mathematical logic UR - https://www.unicat.be/uniCat?func=search&query=sysid:131983570 AB - Provability, Computability and Reflection. ER -