The top documents tagged [tarski model theory]

Reasoning Web 2007 summer school Ondřej Šváb (UEP)
Documents Reasoning Web 2007 summer school Ondřej Šváb (UEP)

224 views