Introduction to computability logic
โ
Giorgi Japaridze
๐
Article
๐
2003
๐
Elsevier Science
๐
English
โ 718 KB