Search results for: Barwise, Jon

Showing 1 - 20 results of 29 Refine Results
  1. 1

    Admissible sets and structures : an approach to definability theory

    Authors: Barwise, Jon
    Published: Springer-Verlag, 1975
    Physical Description: xiii, 394 pages : illustrations ; 25 cm.
    Book
  2. 2

    Situations and attitudes

    Authors: Barwise, Jon
    Published: MIT Press, 1983
    Physical Description: xxii, 352 pages : illustrations ; 24 cm
    Book
  3. 3

    The liar : an essay on truth and circularity

    Authors: Barwise, Jon
    Published: Oxford University Press, 1987
    Physical Description: xii, 185 pages ; 22 cm
    Book
  4. 4

    Turing's World

    Authors: Barwise, Jon
    Published: Kinko's Academic Courseware Exchange, 1986
    Physical Description: 1 computer disc ; 3 1/2 in. + 1 volume (user's manual, viii, 68 columns ; 28 cm)
    Electronic Software
  5. 5

    The situation in logic-IV : on the model theory of common knowledge

    Authors: Barwise, Jon
    Published: Stanford University. Center for the Study of Language and Information, 1988
    Physical Description: 17 leaves ; 28 cm.
    Book
  6. 6

    Two replies

    Authors: Barwise, Jon
    Published: Stanford University, Center for the Study of Language and Information, 1987
    Physical Description: 32 pages ; 28 cm.
    Book
  7. 7

    Noun phrases, generalized quantifiers anaphora

    Authors: Barwise, Jon
    Published: Center for the Study of Langauage and Information, Stanford University, 1986
    Physical Description: 27 pages ; 28 cm.
    Book
  8. 8

    The situation in logic-II : conditionals and conditional information

    Authors: Barwise, Jon
    Published: Center for the Study of Language and Information, Leland Stanford Junior University, 1985
    Physical Description: 37 pages ; 28 cm.
    Book
  9. 9

    The situation in logic-III : situations, sets and the Axiom of Foundation

    Authors: Barwise, Jon
    Published: Center for the Study of Language and Information, Stanford University, 1985
    Physical Description: 24 pages ; 28 cm.
    Book
  10. 10

    Shifting situations and shaken attitudes : an interview with Barwise and Perry.

    Authors: Barwise, Jon
    Published: Center for the Study of Language and Information, Stanford University, 1984
    Physical Description: 67 pages ; 28 cm.
    Book
  11. 11

    The situation in logic--I

    Authors: Barwise, Jon
    Published: Center for the Study of Language and Information, Leland Stanford Junior University, 1984
    Physical Description: 17 leaves : illustrations ; 28 cm.
    Conference Proceeding Book
  12. 12

    Mathematical proofs of computer system correctness

    Authors: Barwise, Jon
    Published: CSLI/Stanford, 1989
    Physical Description: 13 leaves ; 28 cm.
    Book
  13. 13

    The language of first-order logic : including the IBM compatible Windows version of Tarski's world 4.0

    Authors: Barwise, Jon
    Published: Center for the Study of Language and Information, 1992
    Physical Description: xiv, 319 pages ; 24 cm + 1 computer disc (3 1/2 in.).
    Book
  14. 14

    The language of first-order logic : including the Macintosh program Tarski's world

    Authors: Barwise, Jon
    Published: Center for the Study of Language and Information, 1991
    Physical Description: xiv, 297 pages : illustrations ; 24 cm + 1 computer disc (3 1/2 in).
    Book
  15. 15

    The situation in logic

    Authors: Barwise, Jon
    Published: Center for the Study of Language and Information, 1989
    Physical Description: xvi, 327 pages ; 24 cm.
    Book
  16. 16

    El mundo de Tarski

    Authors: Barwise, Jon
    Published: Intellimation, 1990
    Physical Description: 1 computer disc ; 3 1/2 in. + 1 manual (iv, 112 leaves ; 28 cm).
    Electronic Software
  17. 17

    Hyperproof

    Authors: Barwise, Jon
    Published: CSLI Publications, 1994
    Physical Description: xvii, 255 pages : illustrations ; 26 cm + 1 computer disc (3 1/2 in).
    Book
  18. 18

    Vicious circles : on the mathematics of non-wellfounded phenomena

    Authors: Barwise, Jon
    Published: CSLI Publications, 1996
    Physical Description: x, 390 pages : illustrations ; 24 cm.
    Book
  19. 19

    The liar an essay on truth and circularity

    Authors: Barwise, Jon
    Published: Oxford University Press, 1987
    ProQuest Ebook Central - Academic Complete: 1989 (Ebook Central @ Proquest)
    EBSCO eBooks: 1987 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 1987 (EBSCO)
    Electronic eBook
  20. 20

    Studies in model theory

    Authors: Morley, M. D. (Michael Darwin), 1930-
    Published: Mathematical Association of America, 1973
    Other Authors: “…Barwise, Jon…”
    Physical Description: vii, 197 pages ; 21 cm.
    Book