Logical systems of Lesniewski - Luschei Eugene C (Amsterdam North-Holland, 1962)
Keywords: Mathematical logic