Matematické Fórum

Ahoj,

dělám práci na téma rozhodnutelné podtřídy formulí predikátového počtu 1. řádu a hledám, co nejvíce materiálů, které by tématiku rozhodnutelnosti resp. nerozhodnutelnosti rozebíraly. Pokud by někdo měl cokoliv k tomuto tématu, budu moc rád:).

Předem díky všem!