Yazar
Eike Ritter
1 cilt bulundu.
Cilt sonuçları
Reductive logic and proof-search
David J. Pym, Eike Ritter · Oxford University Press
220 sayfa · 2004
Proof theory / Symbolic and mathematical Logic / Logic / Semantics
Yükleniyor
Yükleniyor
Yazar
1 cilt bulundu.
David J. Pym, Eike Ritter · Oxford University Press
220 sayfa · 2004
Proof theory / Symbolic and mathematical Logic / Logic / Semantics