Reviews matching “PX. A computational logic”

1 result

BookAuthorReviewerJournalDate
PX. A computational logic Susumu Hayashi and Hiroshi Nakano Robert Harper The Journal of Symbolic Logic 1991

Open this search with filters