It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by ImportBot
August 5, 2011 | History
Edit

Jon Barwise

We need a photo of Jon Barwise

19 works Add another?

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

  • Cover of: Admissible Sets and Structures

    First published in 1975 — 4 editions
    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: Situationen und Einstellungen: Grundlagen der Situationssemantik

    First published in 1987 — 3 editions
    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 2008 — 3 editions
    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: The Syntax and semantics of infinitary languages

    First published in 1968 — 3 editions
    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 — 2 editions
    Borrow Listen

    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: Logical Reasoning with Diagrams & Sentences: Using Hyperproof

    First published in 2017 — 2 editions
    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: Logical reasoning with diagrams

    First published in 1996 — 2 editions
    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: Analytical Reasoning

    First published in 2004 — 1 edition
    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: Liar: An Essay on Truth and Circularity

    First published in 1987 — 1 edition
    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: Significato e teorie del linguaggio

    First published in 1991 — 1 edition
    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: Handbook of mathematical logic

    First published in 1977 — 1 edition
    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 proof and logic

    First published in 2006 — 1 edition
    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
    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, proof, and logic

    First published in 2002 — 1 edition
    Borrow Listen

    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 Theory and Its Applications, Volume 2 (Center for the Study of Language and Information - Lecture Notes)

    First published in 1992 — 1 edition
    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: Fifth year report to the System Development Foundation, Situated language research program

    First published in 1988 — 1 edition
    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: Fourth year report to the System Development Foundation, Situated language research program

    First published in 1987 — 1 edition
    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-theoretic logics

    First published in 1985 — 1 edition
    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: Handbook of mathematical logic

    First published in 1977 — 1 edition
    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

Subjects

Logic, Symbolic and mathematical Logic, Logic, symbolic and mathematical, Philosophy, Computational linguistics, Research, Set theory, Beweis, Bibliography, CD-ROM, Center for the Study of Language and Information (U.S.), Charts, diagrams, Computer science, Cycles, Einführung, Electronic data processing, distributed processing, Hypersets, Infinitary languages, Knowledge representation (Information theory), LANGUAGE ARTS & DISCIPLINES / Linguistics / General, Language and languages, Language and logic, Linguistics, Logik, Logique

Places

United States

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL6967755A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
August 5, 2011 Created by ImportBot import new book