Hakutulokset: Kirjoja kirjailijalta Jon Barwise
yhteensä 21 hakutulosta
Language, Proof, and Logic
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, …
Logical Reasoning with Diagrams
One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that …
The Syntax and Semantics of Infinitary Languages
Tarski's World: Revised and Expanded
"Tarski's World" is an innovative and exciting method of introducing students to the language of first-order logic. Using the courseware package, students quickly master the …
Admissible Sets and Structures
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have …
Situations and Attitudes
In this provocative book, Barwise and Perry tackle the slippery subject of 'meaning', a subject that has long vexed linguists, language philosophers, and logicians. Meaning does …
Situationen und Einstellungen
Logical Reasoning with Diagrams and Sentences
The Logical Reasoning with Diagrams and Sentences courseware package teaches the principles of analytical reasoning and proof construction using a carefully crafted combination of …
Logical Reasoning with Diagrams
One effect of information technology is the increasing need to present information visually. The trend raises intriguing questions. What is the logical status of reasoning that …
Non-well-founded Sets
Situation Theory and Its Applications
Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer …