TY - BOOK AU - Luschei Eugene C TI - Logical systems of Lesniewski U1 - 511.3 PY - 1962/// CY - Amsterdam PB - North-Holland KW - Mathematical logic ER -