Natural logic

書誌事項

Natural logic

Neil Tennant

Edinburgh University Press, 1990

[Rev. ed.]

大学図書館所蔵 件 / 5

この図書・雑誌をさがす

注記

"First edition 1978. Reprinted in paperback with corrections 1990."--T.p. verso

Bibliography: p. [181]-184

Includes index

内容説明・目次

内容説明

This introduction to mathematical logic contains notes, tables and exercises taking the student from first principles to more advanced theory. The author has based the text and exercises on his teaching experience.

目次

  • Form and structure of sentences
  • classical truth conditions
  • form and structure of proofs
  • propositional metalogic
  • first order metalogic
  • first order theories.

「Nielsen BookData」 より

詳細情報

ページトップへ