Yazar
Georg Kreisel
6 cilt bulundu.
Cilt sonuçları
Formally self-referential propositions for cut free classical analysis and related systems
Georg Kreisel · Państwowe Wydawn. Naukowe
55 sayfa · 1974
Numerical analysis / Proposition (Logic) / Symbolic and mathematical Logic

