It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by ImportBot
September 2, 2008 | History
Edit

Jon Barwise

We need a photo of Jon Barwise

Born 1942

12 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: The Liar: An Essay on Truth and Circularity

    First published in 1989 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Admissible sets and structures: an approach to definability theory

    First published in 1975 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Hyperproof for the Macintosh

    First published in 1993 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: language of first-order logic: including the IBM-compatible Windows version of Tarski's World 4.0

    First published in 1992 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: model of the treatment of anaphora in situation semantics

    First published in 1998 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Noun phrases, generalized quantifiers and anaphora.

    First published in 1986 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Shifting situations and shaken attitudes: an interview with Barwise and Perry.

    First published in 1984 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: situation in logic

    First published in 1988 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Tarski's world: version 4.0 for Macintosh

    First published in 1993 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Turing's World 3.0 for the Macintosh: an introduction to computability theory

    First published in 1993 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Vicious circles: on the mathematics of non-wellfounded phenomena

    First published in 1996 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Information Flow: The Logic of Distributed Systems

    First published in 1997 1 edition in 1 language
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Jon Barwise

Born 1942
Subjects
Computer science, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Admissible sets, Context (Linguistics), Definability theory, Definability theory (Mathematical logic), First-order logic, Hyperproof, Language and logic, Liar paradox, Macintosh (Computer), Set theory, Tarski's world (Computer program), Turing machines, Turing's world

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL4454399A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
September 2, 2008 Created by ImportBot Imported from Talis record