Reviews matching “Tableau systems for first order number theory and certain higher order theories”

1 result

BookAuthorReviewerJournalDate
Tableau systems for first order number theory and certain higher order theories Sue Toledo J. I. Zucker The Journal of Symbolic Logic 1980

Open this search with filters