Language, Proof, and Logic

Müügihind €96,00 Tavaline hind €124,80

TASUTA kohaletoimetamine

4 laos, valmis saatmiseks

Dave Barker-Plummer

650 leheküljed

2011 aasta

Pehme kaanega

Vöötkood: 9781575866321

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.