Proceedings - Rose H E ed.; Logic Colloquium( 1973 : Bristol ) (Amsterdam North-Holland, 1973)
Keywords: Mathematical logic