Language, Proof, and Logic Second Edition
Heftet /
2011
/ Engelsk
Produktdetaljer
ISBN
9781575866321
Publisert
2011-10-15
Utgiver
Vendor
Centre for the Study of Language & Information
Vekt
1134 gr
Høyde
24 mm
Bredde
20 mm
Dybde
3 mm
Aldersnivå
UU, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
650
Om bidragsyterne
Dave Barker-Plummer is a senior research scientist at Stanford University's Center for the Study of Language and Information. Jon Barwise (1942-2000) served on the faculties of Yale University, the University of Wisconsin, Stanford University, and Indiana University. John Etchemendy is currently provost and professor of philosophy and symbolic systems at Stanford University.
This textbook/software package 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. The accompanying online grading service instantly grades solutions to hundreds of computer exercises. The second edition of "Language, Proof and Logic" represents a major expansion and revision of the original package and includes applications for mobile devices, additional exercises, a dedicated website, and increased software compatibility and support.
Les mer
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.
Les mer
Produktdetaljer
ISBN
9781575866321
Publisert
2011-10-15
Utgiver
Vendor
Centre for the Study of Language & Information
Vekt
1134 gr
Høyde
24 mm
Bredde
20 mm
Dybde
3 mm
Aldersnivå
UU, UP, P, 05, 06
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
650