Results for: logic-s

What has the author Jon Barwise written?

Jon Barwise has written: 'Hyperproof for the Macintosh' -- subject(s): Computer science, Hyperproof, Logic, Symbolic and mathematical, Macintosh (Computer), Symbolic and mathematical Logic 'The situation in logic' -- subject(s): Language and logic, Context (Linguistics) 'Admissible sets and structures' -- subject(s)… Full Answer