Search
Now showing items 1-1 of 1
Algoritmi, kategorija i dokazi - teme iz srpske moderne logike / Algorithms, categories and proofs: Some topics in modern Serbian logic
(Zavod za proučavanje kulturnog razvitka, Beograd, 2012)
U ovom radu bavićemo se dvema granama moderne logike onako kako su se one razvijale u Srbiji, počevši od kraja Drugog svetskog rata pa sve do danas. Reč je o teoriji izračunljivosti i teoriji dokaza. Prva od njih, teorija ...