The Two-Valued Iterative Systems of Mathematical Logic | 9780691095707 | Memmo