Normal view
MARC view
Logic, Symbolic and mathematical Congresses.(Topical Term)
Machine generated authority record.
Work cat.: (ARRUPE)0: International Symposium on the theory of models 28842, The theory of models;, 1965.