Barwise, Jon
Overview
Works:  154 works in 791 publications in 5 languages and 10,208 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
 Karp, Carol, papers by Carol Karp( )
 Stanford University, Sponsored Projects Office, grant award file for System Development Foundation's funding of Jon Barwise and John R. Perry's 4year study of "language and computation, " by Stanford University( )
 System Development Foundation records by Calif.) System Development Foundation (Palo Alto( )
 by Stanford University( )
Most widely held works by
Jon Barwise
Handbook of mathematical logic by
Jon Barwise(
Book
)
51 editions published between 1976 and 2006 in 3 languages and held by 822 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 nonspecialists 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
51 editions published between 1976 and 2006 in 3 languages and held by 822 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 nonspecialists 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
)
56 editions published between 1983 and 2011 in 4 languages and held by 817 WorldCat member libraries worldwide
56 editions published between 1983 and 2011 in 4 languages and held by 817 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 Undetermined and held by 721 WorldCat member libraries worldwide
Annotation
30 editions published between 1987 and 1989 in English and Undetermined and held by 721 WorldCat member libraries worldwide
Annotation
The Syntax and semantics of infinitary languages by
Jon Barwise(
Book
)
31 editions published between 1968 and 2007 in 3 languages and held by 507 WorldCat member libraries worldwide
31 editions published between 1968 and 2007 in 3 languages and held by 507 WorldCat member libraries worldwide
Admissible sets and structures : an approach to definability theory by
Jon Barwise(
Book
)
19 editions published between 1975 and 2017 in English and held by 441 WorldCat member libraries worldwide
This volume makes the basic facts about admissible sets accessible to logic students and specialists alike
19 editions published between 1975 and 2017 in English and held by 441 WorldCat member libraries worldwide
This volume makes the basic facts about admissible sets accessible to logic students and specialists alike
The situation in logic by
Jon Barwise(
Book
)
20 editions published between 1987 and 2000 in English and held by 343 WorldCat member libraries worldwide
20 editions published between 1987 and 2000 in English and held by 343 WorldCat member libraries worldwide
Vicious circles : on the mathematics of nonwellfounded phenomena by
Jon Barwise(
Book
)
15 editions published between 1996 and 2000 in English and held by 340 WorldCat member libraries worldwide
15 editions published between 1996 and 2000 in English and held by 340 WorldCat member libraries worldwide
Modeltheoretic logics by
Jon Barwise(
Book
)
17 editions published between 1985 and 2017 in English and held by 337 WorldCat member libraries worldwide
This book brings together several directions of work in model theory between the late 1950s and early 1980s
17 editions published between 1985 and 2017 in English and held by 337 WorldCat member libraries worldwide
This book brings together several directions of work in model theory between the late 1950s and early 1980s
Information flow : the logic of distributed systems by
Jon Barwise(
Book
)
20 editions published between 1997 and 2008 in English and Undetermined and held by 335 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
20 editions published between 1997 and 2008 in English and Undetermined and held by 335 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 1824, 1978 at Madison, Wisconsin, U.S.A. by
Kleene Symposium(
Book
)
26 editions published in 1980 in English and Undetermined and held by 332 WorldCat member libraries worldwide
26 editions published in 1980 in English and Undetermined and held by 332 WorldCat member libraries worldwide
Language, proof, and logic by
Jon Barwise(
Book
)
59 editions published between 1999 and 2011 in 3 languages and held by 323 WorldCat member libraries worldwide
Covers firstorder language in method appropriate for first and second courses in logic. CDROM consists of a new book, 3 programs, and an Internetbased grading service
59 editions published between 1999 and 2011 in 3 languages and held by 323 WorldCat member libraries worldwide
Covers firstorder language in method appropriate for first and second courses in logic. CDROM consists of a new book, 3 programs, and an Internetbased grading service
Logical reasoning with diagrams by
Gerard Allwein(
Book
)
15 editions published in 1996 in English and held by 270 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. SituationTheoretic Account of Valid Reasoning with Venn Diagrams, SunJoo 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
15 editions published in 1996 in English and held by 270 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. SituationTheoretic Account of Valid Reasoning with Venn Diagrams, SunJoo 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
The language of firstorder logic : including the Macintosh program Tarski's world by
Jon Barwise(
Book
)
17 editions published between 1989 and 1993 in English and Undetermined and held by 160 WorldCat member libraries worldwide
17 editions published between 1989 and 1993 in English and Undetermined and held by 160 WorldCat member libraries worldwide
Hyperproof by
Jon Barwise(
Book
)
22 editions published between 1993 and 1996 in English and Undetermined and held by 151 WorldCat member libraries worldwide
22 editions published between 1993 and 1996 in English and Undetermined and held by 151 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 3 languages and held by 143 WorldCat member libraries worldwide
Turing's World is designed as a selfcontained 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
17 editions published between 1993 and 2001 in 3 languages and held by 143 WorldCat member libraries worldwide
Turing's World is designed as a selfcontained 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
Tarski's world by
Dave BarkerPlummer(
Book
)
18 editions published between 1987 and 2008 in 3 languages and held by 127 WorldCat member libraries worldwide
A computerbased introduction to firstorder logic, intended as a supplement to a logic text
18 editions published between 1987 and 2008 in 3 languages and held by 127 WorldCat member libraries worldwide
A computerbased introduction to firstorder logic, intended as a supplement to a logic text
The language of firstorder logic by
Jon Barwise(
Book
)
10 editions published between 1990 and 1993 in English and held by 90 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
10 editions published between 1990 and 1993 in English and held by 90 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
Situation theory and its applications by
Robin Cooper(
Book
)
27 editions published between 1990 and 2000 in 3 languages and held by 72 WorldCat member libraries worldwide
27 editions published between 1990 and 2000 in 3 languages and held by 72 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 62 WorldCat member libraries worldwide
6 editions published in 1991 in English and held by 62 WorldCat member libraries worldwide
Tarski's world : version 4.0 for the Macintosh by
Jon Barwise(
Book
)
12 editions published between 1993 and 1995 in English and Undetermined and held by 54 WorldCat member libraries worldwide
12 editions published between 1993 and 1995 in English and Undetermined and held by 54 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Etchemendy, John 1952 Author
 Allwein, Gerard 1956 Author Editor
 Keisler, H. Jerome Editor
 Perry, John 1943 Author Editor
 University of California, Los Angeles
 Kunen, Kenneth Editor
 Kleene, Stephen Cole 19091994 Honoree
 BarkerPlummer, Dave Author
 Seligman, Jerry 1964 Other
 Feferman, Solomon Editor
Useful Links
Associated Subjects
Abbs, James H., Admissible sets Association for Symbolic Logic Barwise, Jon Brady, Michael, Center for the Study of Language and Information (U.S.) Chudnovsky, D.(David), Computer engineering Computer music Computer science Context (Linguistics) Cycles Definability theory (Mathematical logic) Electronic data processingDistributed processing Firstorder logic Green, Judy Grosz, Barbara J Hewitt, Carl Humanmachine systems Hyperproof Hypersets Infinitary languages Information science Intuitionistic mathematics Kleene, Stephen Cole, Knowledge representation (Information theory) Knuth, Donald Ervin, Language and logic Liar paradox Logic Logic, Symbolic and mathematical LopezEscobar, Edgar G. K., Macintosh (Computer) Mathematics Model theory Perry, John, Perry, John R Recursion theory Robotics Science Semantics Semantics (Philosophy) Set theory System Development Foundation (Palo Alto, Calif.) Tarski's world Tukey, John W.(John Wilder), Turing's world Turing machines Tyler, Ralph W.(Ralph Winfred), Xerox Corporation.Palo Alto Research Center
Alternative Names
Barvajs, Dž.
Barvajs, Dž 19422000
Barwise, J.
Barwise, J. 19422000
Barwise, J. (Jon)
Barwise, John.
Barwise John 19422000
Barwise, K. Jon
Barwise, K. Jon 19422000
Barwise, K. Jon (Kenneth Jon)
Barwise, Kenneth
Barwise Kenneth Jon 19422000
Jon Barwise Amerikaans wiskundige (19422000)
Jon Barwise amerikansk matematikar
Jon Barwise amerikansk matematiker
Jon Barwise mathématicien et philosophe américain
Jon Barwise USamerikanischer Logiker
Kenet Džon Barvajs
Kenneth Jon Barwise
バーワイズ, ジョン
Languages
Covers