автор: Anjolina G. de Oliveira

поддержка

2 Электронные книги Anjolina G. de Oliveira

Valeria de Paiva & Ruy de Queiroz: Logic, Language, Information, and Computation
Edited in collaboration with Fo LLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computa …
PDF
английский
DRM
€41.64
Anjolina G De Oliveira & Dov M Gabbay: Functional Interpretation Of Logical Deduction, The
This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an âenrichedâ system of natural deduction, it helps to formulate logical calculi in an …
PDF
английский
DRM
€164.99