Hyppää pääsisältöön

Tutkimuskohteet

Fragments of first-order logic

Tieteenalat

Mathematical logic, Theoretical computer science