Yazar
John Martin Wirsing
2 cilt bulundu.
Cilt sonuçları
Adapting Proofs-as-Programs
Iman Hafiz Poernomo, John N. Crossley, Martin Wirsing · Springer London, Limited
434 sayfa · 2005
Proof theory / Logic, symbolic and mathematical
Yükleniyor
Yükleniyor
Yazar
2 cilt bulundu.
Iman Hafiz Poernomo, John N. Crossley, Martin Wirsing · Springer London, Limited
434 sayfa · 2005
Proof theory / Logic, symbolic and mathematical