Reviews matching “Term logic with choice operator. A revised and enlarged translation of XXXV 440”

1 result

BookAuthorReviewerJournalDate
Term logic with choice operator. A revised and enlarged translation of XXXV 440 Hans Hermes Perry Smith The Journal of Symbolic Logic 1971

Open this search with filters