Yazar
f d kamareddine
1 cilt bulundu.
Cilt sonuçları
Modern Perspective on Type Theory
F. D. Kamareddine, T. Laan, Rob Nederpelt · Springer
360 sayfa · 2010
Logic, symbolic and mathematical
Yükleniyor
Yükleniyor
Yazar
1 cilt bulundu.
F. D. Kamareddine, T. Laan, Rob Nederpelt · Springer
360 sayfa · 2010
Logic, symbolic and mathematical