- Algebraic logic (1)
- Arithmetic--Foundations (1)
- Cylindric algebras (1)
- Gödel's theorem (1)
- Logic, Symbolic and mathematical--Addresses, essays, lectures (1)
- Logic, Symbolic and mathematical--Congresses (1)
- Mathematical models--Congresses (1)
- Mathematics--Addresses, essays, lectures (1)
- Tarski, Alfred--Bibliography (1)
- 数学 (1)