WorldCat Identities

Barwise, Jon

Overview
Works: 175 works in 819 publications in 4 languages and 10,698 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
The liar : an essay on truth and circularity by Jon Barwise( )

31 editions published between 1987 and 1989 in English and held by 1,909 WorldCat member libraries worldwide

This monograph purports to provide a solution to semantical paradoxes like "the liar". The authors base this solution on J.L. Austin's idea of truth, which is fundamental to situation semantics, and compare two models of language, propositions and truth
Logical reasoning with diagrams by Gerard Allwein( )

14 editions published in 1996 in English and held by 1,402 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
Handbook of mathematical logic by Jon Barwise( Book )

55 editions published between 1976 and 2006 in 3 languages and held by 959 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 )

49 editions published between 1983 and 2000 in English and held by 728 WorldCat member libraries worldwide

The Syntax and semantics of infinitary languages by Jon Barwise( Book )

30 editions published in 1968 in English and German and held by 629 WorldCat member libraries worldwide

The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. by Kleene Symposium( Book )

27 editions published in 1980 in English and held by 469 WorldCat member libraries worldwide

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

18 editions published between 1975 and 2016 in English and held by 463 WorldCat member libraries worldwide

This volume makes the basic facts about admissible sets accessible to logic students and specialists alike
Model-theoretic logics by Jon Barwise( Book )

20 editions published between 1985 and 2017 in English and held by 435 WorldCat member libraries worldwide

This book brings together several directions of work in model theory between the late 1950s and early 1980s
The situation in logic by Jon Barwise( Book )

25 editions published between 1985 and 1989 in English and held by 366 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 365 WorldCat member libraries worldwide

Information is a central topic in computer science, cognitive science, and philosophy. In spite of its importance in the "information age," there is no consensus on what information is, what makes it possible, and what it means for one medium to carry information about another. Drawing on ideas from mathematics, computer science, and philosophy, this book addresses the structure of information and its place in society
Vicious circles : on the mathematics of non-wellfounded phenomena by Jon Barwise( Book )

15 editions published between 1996 and 2000 in English and held by 351 WorldCat member libraries worldwide

Publisher description: Circular analyses of philosophical, linguistic, or computational phenomena have been attacked on the assumption that they conflict with mathematical rigour. Barwise and Moss have undertaken to prove this assumption false. This volume is concerned with extending the modelling capabilities of set theory to provide a uniform treatment of circular phenomena. As a means of guiding the reader through the concrete examples of the theory, the authors have included many exercises and solutions: these exercises range in difficulty and ultimately stimulate the reader to come up with new results. Vicious Circles is intended for use by researchers who want to use hypersets; although some experience in mathematics is necessary, the book is accessible to people with widely differing backgrounds and interests
Language, proof, and logic by Jon Barwise( Book )

59 editions published between 1999 and 2011 in English and held by 330 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
The language of first-order logic : including the Mackintosh version of Tarski's world 4.0 by Jon Barwise( Book )

44 editions published between 1992 and 1997 in English and held by 317 WorldCat member libraries worldwide

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

14 editions published in 1991 in English and held by 157 WorldCat member libraries worldwide

Hyperproof by Jon Barwise( Book )

22 editions published between 1993 and 1996 in English and Undetermined and held by 150 WorldCat member libraries worldwide

Turing's World 3.0 for the Macintosh : an introduction to computability theory by Jon Barwise( Book )

17 editions published between 1993 and 2001 in English and No Linguistic content and held by 144 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
Situationen und Einstellungen : grundlagen de situationssemantik by Jon Barwise( )

9 editions published between 1987 and 2011 in German and held by 132 WorldCat member libraries worldwide

Tarski's world by Dave Barker-Plummer( Book )

18 editions published between 1987 and 2008 in English and No Linguistic content and held by 127 WorldCat member libraries worldwide

A computer-based introduction to first-order logic, intended as a supplement to a logic text
The language of first-order logic by Jon Barwise( Book )

11 editions published between 1990 and 1993 in English and held by 91 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
Tarski's world 3.0 : including the Macintosh program by Jon Barwise( Book )

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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.46 (from 0.07 for Logical re ... to 1.00 for Grant awar ...)

Handbook of mathematical logic
Covers
Logical reasoning with diagramsHandbook of mathematical logicSituations and attitudesThe Syntax and semantics of infinitary languagesThe situation in logicInformation flow : the logic of distributed systemsVicious circles : on the mathematics of non-wellfounded phenomenaLanguage, proof, and 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

Kenet Džon Barvajs

Kenneth Jon Barwise

バーワイズ, ジョン

Languages
English (489)

German (11)

Italian (1)

Russian (1)