Title: Collected papers
First published: 1986
Subjects: Mathematics, General, Logic, symbolic and mathematical
LC classification: QA3 .T372 1986