Journals / Ege Üniversitesi Fen Fakültesi Dergisi Seri A - B / 1997 / Cilt: 20 - Sayı: 1-2
Presburger aritmetiğinin nonstandard modelleri üzerine
- Pages
- 155–159
- DOI
- —
Abstract
Let Pr=Th(Z , +,
Özet
Pr = Th (Z ,+,
Journals / Ege Üniversitesi Fen Fakültesi Dergisi Seri A - B / 1997 / Cilt: 20 - Sayı: 1-2
Let Pr=Th(Z , +,
Pr = Th (Z ,+,