Join BookitisSave favorites, build lists, and follow creators.

Jon Barwise

Jon Barwise

JB
6 featured booksJon Barwise

Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.

OL4454399A

Overview

Catalog identity and bibliographic footprint for this author.

6 representative editions

Author pages in Bookitis are intended to show only works actually attributed to the author and a representative edition for each of those works.

Catalog identity

How this author appears inside the active Bookitis catalog.

  • Display name

    Jon Barwise

  • Personal name

    Jon Barwise

  • Source identifier

    OL4454399A

Featured books

Representative editions for works actually authored by this person.

Works in catalog

Quick navigation into the work-level grouping pages behind the featured books.

  • Hyperproof for the Macintosh

    Representative edition published 1993

    Open Work
  • The language of first-order logic

    Representative edition published 1992

    Open Work
  • The liar

    Representative edition published 1989

    Open Work
  • Turing's World 3.0 for the Macintosh

    Representative edition published 1993

    Open Work
  • The situation in logic

    Representative edition published 1988

    Open Work
  • Admissible sets and structures

    Representative edition published 1975

    Open Work