Yazar

Jon Barwise

27 cilt bulundu.

Cilt sonuçları

Language, proof, and logic

Jon Barwise · CSLI Publications

587 sayfa · 2002

Logique / Logic / Philosophy

The language of first-order logic

Barwise, Jon. · Center for the Study of Language and Information

305 sayfa · 1990

First-order logic / Tarski's world / Tarski's world (Computer program)

Logic, symbolic and mathematicalAdmissible Sets and StructuresJon Barwise

Admissible Sets and Structures

Jon Barwise · University of Cambridge ESOL Examinations

408 sayfa · 1975

Set theory / Logic, symbolic and mathematical

Situations and attitudes

Barwise, Jon., John Perry · MIT Press

352 sayfa · 1983

Semantics (Philosophy) / Semantics / Epistemology, theory of knowledge / Philosophy Of Language / Philosophy

The Syntax and semantics of infinitary languages

Jon Barwise · Springer

270 sayfa · 1968

Infinitary languages / Mathematics / Mathematics, general

The situation in logic

Barwise, Jon. · Center for the Study of Language and Information

327 sayfa · 1989

Language and logic / Context (Linguistics) / Logic

Turing's worldTuring's World 3.0 for the MacintoshJon Barwise

Turing's World 3.0 for the Macintosh

Jon Barwise · CSLI Publications

123 sayfa · 1993

Computer science / Logic, Symbolic and mathematical / Symbolic and mathematical Logic / Turing machines / Turing's world

The liar

Barwise, Jon., John Etchemendy · Oxford University Press

189 sayfa · 1987

Liar paradox

Definability theory (Mathematical logic)Admissible sets and structuresJon Barwise

Admissible sets and structures

Jon Barwise · Springer-Verlag

394 sayfa · 1975

Admissible sets / Definability theory / Definability theory (Mathematical logic)

Model theoryThe situation in logic-IVBarwise, Jon.

The situation in logic-IV

Barwise, Jon. · Center for the Study of Language and Information/SRI International

17 sayfa · 1988

Theory of Knowledge / Model theory

Semantics (Philosophy)Two repliesBarwise, Jon.

Two replies

Barwise, Jon. · Center for the Study of Language and Information

32 sayfa · 1987

Semantics (Philosophy)

Logic, symbolic and mathematicalTarski's world 3.0Barwise, Jon.

Tarski's world 3.0

Barwise, Jon. · Center for the Study of Language and Information

111 sayfa · 1991

First-order logic / Tarski's world / Logic, symbolic and mathematical

ResearchFourth year report to the System Development Foundation, Situated language research programJon Barwise

Fourth year report to the System Development Foundation, Situated language research program

Jon Barwise · Center for the Study of Language and Information

173 sayfa · 1987

Linguistics / Bibliography / Center for the Study of Language and Information (U.S.) / Research

ResearchFifth year report to the System Development Foundation, Situated language research programJon Barwise

Fifth year report to the System Development Foundation, Situated language research program

Jon Barwise · Center for the Study of Language and Information

69 sayfa · 1988

Computational linguistics / Research

CiltNoun phrases, generalized quantifiers and anaphoraJon Barwise

Noun phrases, generalized quantifiers and anaphora

Jon Barwise · Stanford University Center for the Studyof Language and Information

Sayfa sayısı yok · 1986

Kategori yok

Set theoryVicious circlesJon Barwise

Vicious circles

Jon Barwise · CSLI

390 sayfa · 1996

Set theory

Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science)

Barwise, Jon. · Cambridge University Press

274 sayfa · 1997

Electronic data processing, distributed processing / Electronic data processing / Distributed processing

CiltInformation Flow - The Logic of Distributed SystemsJon Barwise

Information Flow - The Logic of Distributed Systems

Jon Barwise · Cambridge University Press

Sayfa sayısı yok · 1997

Kategori yok

The liar

Jon Barwise · Oxford University Press, USA

206 sayfa · 1989

Liar paradox

CiltA model of the treatment of anaphora in situation semanticsJon Barwise

A model of the treatment of anaphora in situation semantics

Jon Barwise · Center for the Study of Language and Information

Sayfa sayısı yok · 1998

Kategori yok

The language of first-order logic

Jon Barwise · Center for the Study of Language and Information

319 sayfa · 1992

First-order logic / Tarski's world (Computer program)

Hyperproof for the Macintosh

Jon Barwise · CSLI Publications

255 sayfa · 1993

Computer science / Hyperproof / Logic, Symbolic and mathematical / Macintosh (Computer) / Symbolic and mathematical Logic

CiltShifting situations and shaken attitudesJon Barwise

Shifting situations and shaken attitudes

Jon Barwise · Stanford University Center for the Study of Language and Information

Sayfa sayısı yok · 1984

Kategori yok

CiltTarski's worldJon Barwise

Tarski's world

Jon Barwise · CLSI Publications

78 sayfa · 1993

Kategori yok

Set theory.Infinitary logic and admissible setsBarwise, Jon.

Infinitary logic and admissible sets

Barwise, Jon. · Barwise

121 sayfa · 1967

Logic, Symbolic and mathematical. / Infinitary languages. / Set theory.

Context (Linguistics)The situation in logicJon Barwise

The situation in logic

Jon Barwise · Center for the Study of Language and Information

327 sayfa · 1988

Language and logic / Context (Linguistics)

Electronic data processing, distributed processingInformation FlowJon Barwise, Jerry Seligman

Information Flow

Jon Barwise, Jerry Seligman · Cambridge University Press

292 sayfa · 2008

Electronic data processing, distributed processing