First-order programming theories

Descrição: This work presents a purely classical first-order logical approach to the field of study in theoretical computer sc... Veja mais