- Logic, Symbolic and mathematical--Congresses (4)
- Logic, Symbolic and mathematical--Addresses, essays, lectures (1)
- Logic, Symbolic and mathematical--Periodicals (1)
- Mathematical models--Congresses (1)
- Mathematics--Addresses, essays, lectures (1)
- Semantics--Congresses (1)
- Tarski, Alfred--Bibliography (1)
- 電子装置の応用 (1)