言語、論証、論理学(テキスト)<br>Language, Proof and Logic (PCK)

言語、論証、論理学(テキスト)
Language, Proof and Logic (PCK)

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Paperback:紙装版/ペーパーバック版/ページ数 598 p.
  • 言語 ENG
  • 商品コード 9781575863740
  • DDC分類 160

基本説明

This complete text and software package provides a self-contained introduction to the basic concepts of logic: language, truth argument, consequence, proof, and counterexample.

Full Description


This complete text and software package provides a self-contained introduction to the basic concepts of logic: language, truth, argument, consequence, proof and counterexample. Assuming no prior study of logic, Barwide and Etchemendy provide a clear and comprehensive outline of the field - a text appropriate for introductory or secondary courses in logic that incorporates more than enough material to be of use to philosophers, computer scientists, and mathematicians as well. The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.