Yazar
Konstantine Arkoudas
1 cilt bulundu.
Cilt sonuçları
Fundamental proof methods in computer science
Konstantine Arkoudas · MIT Press
976 sayfa · 2017
Mathematics / Computer science / Proof theory / Computer science, mathematics
Yükleniyor
Yükleniyor
Yazar
1 cilt bulundu.
Konstantine Arkoudas · MIT Press
976 sayfa · 2017
Mathematics / Computer science / Proof theory / Computer science, mathematics