Yazar
anjolina g de oliveira
1 cilt bulundu.
Cilt sonuçları
Functional Interpretation of Logical Deduction
Ruy J. G. B. de Queiroz, Anjolina G. De Oliveira · World Scientific Publishing Co Pte Ltd
300 sayfa · 2011
Logic, symbolic and mathematical / Logic / Modality (Logic) / Proof theory