Handbook of logic and proof techniques for computer science

Descrição: Logic is, and should be, the core subject area of modern mathemat ics. The blueprint for twentieth century mathemat... Veja mais