Yazar
per martin lof
3 cilt bulundu.
Cilt sonuçları
COLOG-88
International Conference on Computer Logic (1988 Tallinn, Estonia), Per Martin-Lof · Springer-Verlag
338 sayfa · 1990
Computer science / Congresses / Mathematics / Symbolic and mathematical Logic