KaydedilenlerDerginizi ekleyin

Dergiler / Ege Üniversitesi Fen Fakültesi Dergisi Seri A - B / 1997 / Cilt: 20 - Sayı: 1-2

On nonstandard models of Presburger's arithmetic

Presburger aritmetiğinin nonstandard modelleri üzerine

Çiğdem GENCER

Sayfa
155–159
DOI
—

Özet

Pr = Th (Z ,+,

Abstract

Let Pr=Th(Z , +,