answersLogoWhite

0

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): Admissible sets, Definability theory

User Avatar

Wiki User

10y ago

What else can I help you with?