BFuchi's monadic second order successor arithmetic
Publisher: Springer-Verlag
Published: 1970-01-01
Language: eng
Number of pages: 154