Das Entscheidungsproblem für einige Erweiterungen der Nachfolger-Arithmetik.

Kaydedildi:
Detaylı Bibliyografya
Yazar: Thomas, Wolfgang
Materyal Türü: Kitap
Dil:Almanca
Baskı/Yayın Bilgisi: Freiburg (Breisgau) Univ., Math. Fak. 1975
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
Order eBook:
Order Book: Login to order