Author: SIEFKES, Dirk Title: Decidable theories 1: Buchi's monadic second order successor arithmetic
Description: Berlin, Springer-Verlag, 1970. Used - Acceptable. Ex lib paperback 1st edition. Lecture Notes in Mathematics 120. Ex University Library - labels, stamps, etc.; internally VG; spine a little faded & browned Photo:http://cibimages.blob.core.windows.net/img-1/stand_9727_jpg.jpg.
Keywords:
Price: GBP 24.40 = appr. US$ 34.84 Seller: Cotswold Internet Books
- Book number: BOOKS234308I