Büchi's Monadic second order successor arithmetic
I tiakina i:
| Kaituhi matua: | |
|---|---|
| Hōputu: | Pukapuka |
| Reo: | Ingarihi |
| I whakaputaina: |
Berlín
Springer-Verlag
1970
|
| Rangatū: | Lecture Notes in Mathematics, 120. Decidable theories, 1
|
| Ngā marau: | |
| Ngā Tūtohu: |
Tāpirihia he Tūtohu
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
| Whakaahuatanga ōkiko: | 130 p |
|---|