A comprehensive index of philosophy book reviews

Decidable Theories I: Büchi's Monadic Second Order Successor Arithmetic

by Dirk Siefkes · 1 review · 1976

Reviewed by Journal Date Access
Reinhold Kolodziej Studia Logica 1976-01-01 —

Metaphysics & Logic

Search PhilReviews for this title