Yazar
sean matthews editor
1 cilt bulundu.
Cilt sonuçları
Labelled Deduction (APPLIED LOGIC SERIES Volume 17)
Sean Matthews (Editor), Luca Vigano (Editor) · Springer
280 sayfa · 2000
Mathematical And Symbolic Logic / Philosophy Of Mathematics / Philosophy / Mathematics / Artificial Intelligence - General