Yazar
giovanni sommaruga rosolemos
1 cilt bulundu.
Cilt sonuçları
Fixed point constructions in various theories of mathematical logic
Giovanni Sommaruga-Rosolemos · Bibliopolis
118 sayfa · 1991
Symbolic and mathematical Logic / Recursion theory / Modality (Logic)