Matemaatiline
loogika ja algoritmiteooria
kevadsemestril 2008
KIRJANDUS
1. R.Prank. Matemaatiline loogika ja
algoritmiteooria. TÜ kirjastus, 2004. Teadaolevad
vead
2. T.Tamme, T.Tammet,
R.Prank. Loogika. TÜ Kirjastus, 1997.
3. R.Palm, R.Prank.
Sissejuhatus matemaatilisse loogikasse. TÜ kirjastus, 2004.
4. E.Mendelson. Introduction
to Mathematical Logic. (rida väljaandeid, ka vene keeles)
5. J.Schoenfield. Mathematical
Logic. (olemas ka vene keeles)
6. J.L.Jershov, J.A.Paljutin.
Matematicheskaja Logika.
7. M.Ben-Ari. Mathematical
Logic for Computer Science.
8. V.A.Uspenski. Lekcii
o wychislimyh funkcijax.
9. S.C.Kleene. Introduction
to Metamathematics. (ka
vene keeles)
10. H.Rogers. Theory
of Recursive Functions and Effective Computability. (ka vene
keeles)
11. Matematitseskaja teoria
logitseskogo vyvoda.
Moskva, 1967.
12. J.Barwise (Ed.). Handbook of Mathematical Logic. North-Holland Publishing Company, 1977. (vene
keeles: Spravotshnik po matematitsheskoi logike I-IV).