Mathematics of first-order arithmetic - Hájek, Petr, 1940-2016; Pudlák, Pavel (Berlin : Springer, 1998)
Obsahuje bibliografii a rejstřík
Keywords: fuzzy logika; matematická logika; predikátová logika; aritmetika; monografie; fuzzy logic; mathematical logic; predicate calculus; arithmetic; monographs