Language, Proof, and Logic

Preço de venda €85,00 Preço normal €102,00
3 em estoque, pronto para envio

Entrega rápida

650 psl.

2011 m.

Minkštas viršelis

Código de barras: 9781575866321
Descrição

A textbook/software package that covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. It also includes applications for mobile devices, exercises, and a dedicated website.