WorldCat Identities

Barwise, Jon

Overview
Works: 133 works in 738 publications in 6 languages and 10,269 library holdings
Genres: Conference papers and proceedings  Charts, diagrams, etc  Handbooks and manuals  Software  Textbooks 
Roles: Author, Editor, Author of introduction, Creator
Classifications: QA9, 511.3
Publication Timeline
.
Most widely held works about Jon Barwise
 
Most widely held works by Jon Barwise
Handbook of mathematical logic by Jon Barwise( Book )

57 editions published between 1976 and 2006 in 4 languages and held by 823 WorldCat member libraries worldwide

The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own
Situations and attitudes by Jon Barwise( Book )

57 editions published between 1983 and 2000 in 4 languages and held by 810 WorldCat member libraries worldwide

The liar : an essay on truth and circularity by Jon Barwise( Book )

30 editions published between 1987 and 1989 in English and held by 722 WorldCat member libraries worldwide

Annotation
Studies in model theory by M. D Morley( Book )

6 editions published in 1973 in English and held by 688 WorldCat member libraries worldwide

The language of first-order logic : including the Macintosh program Tarski's world by Jon Barwise( Book )

68 editions published between 1989 and 1997 in English and Undetermined and held by 566 WorldCat member libraries worldwide

This book is intended, along with the computer program, to introduce the user to some of the most important concepts and tools of logic, including learning a new computer language
The Syntax and semantics of infinitary languages by Jon Barwise( Book )

29 editions published between 1968 and 2007 in 3 languages and held by 499 WorldCat member libraries worldwide

Admissible sets and structures : an approach to definability theory by Jon Barwise( Book )

11 editions published in 1975 in English and held by 420 WorldCat member libraries worldwide

The situation in logic by Jon Barwise( Book )

38 editions published between 1984 and 1992 in English and held by 408 WorldCat member libraries worldwide

Language, proof, and logic by Jon Barwise( Book )

66 editions published between 1999 and 2011 in 3 languages and held by 366 WorldCat member libraries worldwide

Covers first-order language in method appropriate for first and second courses in logic. CD-ROM consists of a new book, 3 programs, and an Internet-based grading service
Vicious circles : on the mathematics of non-wellfounded phenomena by Jon Barwise( Book )

12 editions published in 1996 in English and held by 344 WorldCat member libraries worldwide

Model-theoretic logics( Book )

14 editions published in 1985 in English and held by 333 WorldCat member libraries worldwide

Information flow : the logic of distributed systems by Jon Barwise( Book )

18 editions published between 1997 and 2008 in English and held by 330 WorldCat member libraries worldwide

Information is a central topic in computer science, cognitive science and philosophy. Drawing on ideas from these subjects, this book addresses the definition and place of information in society
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. by Kleene Symposium( Book )

24 editions published in 1980 in English and Undetermined and held by 327 WorldCat member libraries worldwide

Logical reasoning with diagrams by Gerard Allwein( Book )

15 editions published in 1996 in English and held by 269 WorldCat member libraries worldwide

PART A: Theoretical Issues. 1. Visual Information and Valid Reasoning, Jon Barwise and John Etchemendy. 2. Operational Constraints in Diagrammatic Reasoning, Atsushi Shimojima. 3. Diagrams and the Concept of Logical System, Jon Barwise and Eric Hammer. PART B: Case Studies. 4. Situation-Theoretic Account of Valid Reasoning with Venn Diagrams, Sun-Joo Shin. 5. Towards a Model Theory of Venn Diagrams, eric Hammer and Norman Danner. 6. Peircean Graphs for Propositional Logic, Eric Hammer. 7. A Diagrammatic Subsystem of Hilbert's Geometry, Isabel Luengo. PART C: Heterogenous Systems. 8. Heterogeno
Tarski's world by Jon Barwise( Book )

40 editions published between 1987 and 2008 in 3 languages and held by 223 WorldCat member libraries worldwide

A computer-based introduction to first-order logic, intended as a supplement to a logic text
Turing's World 3.0 for the Macintosh : an introduction to computability theory by Jon Barwise( Book )

22 editions published between 1986 and 2001 in 3 languages and held by 154 WorldCat member libraries worldwide

Turing's World is designed as a self-contained introduction to one of the fundamental notions of logic and computer science, the notion of a Turing machine. The program allows students to design, debug, and run sophisticated Turing machines in a graphical environment on the Macintosh
Hyperproof by Jon Barwise( Book )

21 editions published between 1993 and 1996 in English and Undetermined and held by 151 WorldCat member libraries worldwide

Situation theory and its applications by Conference on Situation Theory and Its Application( Book )

28 editions published between 1990 and 1993 in English and Undetermined and held by 75 WorldCat member libraries worldwide

Tarski's world 3.0 : including the Macintosh program by Jon Barwise( Book )

6 editions published in 1991 in English and held by 60 WorldCat member libraries worldwide

Significato e teorie del linguaggio( Book )

6 editions published between 1991 and 2013 in Italian and held by 32 WorldCat member libraries worldwide

Alla sua prima comparsa, questa antologia si presentava come una nitida fotografia dello stato del dibattito in filosofia del linguaggio intorno agli anni '70 e '80. Oggi, a distanza di più di vent'anni, un colpo d'occhio agli articoli che vi sono pubblicati basta per vedere che essi sono ormai diventati veri e propri "classici", da cui si irradiano discussioni tuttora aperte, vivissime e centrali, e non solo in filosofia del linguaggio. L'antologia spazia dalle teorie del significato di Dummett, Davidson e Brandom alle teorie del riferimento diretto di Kripke e Putnam; dalla critica di Gettier alla visione classica della conoscenza come credenza vera giustificata, alle discussioni sulla logica di Prawitz, Prior e Belnap; dalle critiche ai limiti della semantica tradizionale, che hanno generato alternative come la logica degli indicali di Kaplan e la semantica situazionale di Barwise e Perry alle prime, seminali discussioni di Hall Partee sulla competenza semantica e sui rapporti tra semantica e psicologia. Nei decenni che ci separano da questi articoli "fondativi" si è costruito molto sulla base delle idee rivoluzionarie in essi presentate, e leggerli oggi aiuta a capire meglio le idee e i dibattiti più vivi nella filosofia di oggi
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.56 (from 0.08 for Logical re ... to 1.00 for Grant awar ...)

Handbook of mathematical logic
Alternative Names
Barvajs, Dž.

Barvajs, Dž 1942-2000

Barwise, J.

Barwise, J. 1942-2000

Barwise, J. (Jon)

Barwise, John.

Barwise John 1942-2000

Barwise, K. Jon

Barwise, K. Jon 1942-2000

Barwise, K. Jon (Kenneth Jon)

Barwise, Kenneth

Barwise Kenneth Jon 1942-2000

Jon Barwise Amerikaans wiskundige (1942-2000)

Jon Barwise amerikansk matematikar

Jon Barwise amerikansk matematiker

Jon Barwise mathématicien et philosophe américain

Jon Barwise US-amerikanischer Logiker

Kenneth Jon Barwise

バーワイズ, ジョン

Languages
Covers
Situations and attitudesThe liar : an essay on truth and circularityThe language of first-order logic : including the Macintosh program Tarski's worldThe Syntax and semantics of infinitary languagesThe situation in logicLanguage, proof, and logicVicious circles : on the mathematics of non-wellfounded phenomenaInformation flow : the logic of distributed systems