od chmirko » 15. 1. 2011 11:42
Presburgerova Aritmeika - moc neslo
Robinsonova aritmetika - neco jo neco sem pomotal
Teorie naslednika s nulou v jazyku - neco jo neco sem pomotal
a tereticke otazky ohledne modelove kompletnosti, koexistence a tak
mam za 3
Presburgerova Aritmeika - moc neslo
Robinsonova aritmetika - neco jo neco sem pomotal
Teorie naslednika s nulou v jazyku - neco jo neco sem pomotal
a tereticke otazky ohledne modelove kompletnosti, koexistence a tak
mam za 3