Language, Proof, and Logic (häftad, eng)

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.

Format	Häftad
Omfång	650 sidor
Språk	Engelska
Förlag	Centre for the Study of Language & Information
Utgivningsdatum	2011-10-15
ISBN	9781575866321