- Logic, Symbolic and mathematical--Congresses (7)
- Electronic data processing--Congresses (5)
- Electronic digital computers--Programming--Congresses (5)
- Mathematical models--Congresses (2)
- Computer programs--Correctness--Congresses (1)
- Logic, Symblic and mathematical--Periodicals (1)
- Logic, Symbolic and mathematical--Addresses, essays, lectures (1)
- Logic, Symbolic and mathematical--Periodicals (1)
- Mathematics--Addresses, essays, lectures (1)
- Semantics--Congresses (1)
- Tarski, Alfred--Bibliography (1)
- (3)