WorldCat Identities

Scott, Dana S.

Overview
Works: 129 works in 296 publications in 2 languages and 2,661 library holdings
Genres: Conference proceedings  Bibliography  History  Juvenile works 
Roles: Author, Editor, Thesis advisor, Honoree, Other, Compiler, Author of introduction
Classifications: QA3, 510.8 S
Publication Timeline
.
Most widely held works about Dana S Scott
 
Most widely held works by Dana S Scott
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 by G. H Müller( Book )
15 editions published between 1978 and 2008 in 3 languages and held by 517 WorldCat member libraries worldwide
Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 by Algebra, and Analysis Research Symposium on Applications of Sheaf Theory to Logic( Book )
16 editions published in 1979 in English and German and held by 511 WorldCat member libraries worldwide
Axiomatic set theory by Dana S Scott( Book )
27 editions published between 1971 and 1987 in English and Undetermined and held by 444 WorldCat member libraries worldwide
An introduction to modal logic : the Lemmon notes by E. J Lemmon( Book )
9 editions published between 1976 and 1977 in English and Undetermined and held by 254 WorldCat member libraries worldwide
A selective bibliography of philosophical logic by Christopher Peacocke( Book )
18 editions published between 1973 and 1979 in English and Undetermined and held by 159 WorldCat member libraries worldwide
The innovative university ( Book )
3 editions published in 2004 in English and held by 101 WorldCat member libraries worldwide
The lattice of flow diagrams by Dana S Scott( Book )
5 editions published between 1970 and 1978 in English and Undetermined and held by 72 WorldCat member libraries worldwide
Outline of a mathematical theory of computation by Dana S Scott( Book )
4 editions published in 1970 in English and held by 68 WorldCat member libraries worldwide
A bibliography of logic books by Michael S Moss( Book )
4 editions published between 1975 and 1981 in English and held by 39 WorldCat member libraries worldwide
Toward a mathematical semantics for computer languages by Dana S Scott( Book )
3 editions published in 1971 in English and held by 35 WorldCat member libraries worldwide
Kurt Gödel and the foundations of mathematics : horizons of truth by Matthias Baaz( )
3 editions published in 2011 in English and held by 33 WorldCat member libraries worldwide
This volume commemorates the life, work and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Gödel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Gödel's fundamental work in mathematics, logic, philosophy and other disciplines for future generations of researchers
Continuous lattices by Dana S Scott( Book )
9 editions published between 1971 and 1972 in English and Undetermined and held by 27 WorldCat member libraries worldwide
Notes on the formalization of logic by Dana S Scott( Book )
10 editions published in 1981 in English and held by 26 WorldCat member libraries worldwide
Toposes, algebraic geometry and logic by I Bucur( )
2 editions published in 1972 in English and held by 25 WorldCat member libraries worldwide
Lectures on a mathematical theory of computation by Dana S Scott( Book )
4 editions published between 1980 and 1981 in English and Undetermined and held by 20 WorldCat member libraries worldwide
Axiomatic set theory : [proceedings of the Symposium in Pure Mathematics of the AMS, held at the Univ. of Calif., LosAngeles, Calif., July 10-Aug. 5, 1967] by American mathematical society summer research institute( Book )
3 editions published in 1974 in English and Undetermined and held by 20 WorldCat member libraries worldwide
World resources by Dana S Scott( Book )
2 editions published in 1978 in English and held by 19 WorldCat member libraries worldwide
Removal of phosphates and metals from sewage sludge by Dana S Scott( Book )
3 editions published between 1973 and 1976 in English and held by 17 WorldCat member libraries worldwide
Kurt Godel and Foundations of Maths ( )
in English and held by 16 WorldCat member libraries worldwide
Annotation
Oxford logic guides ( )
in English and held by 13 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.78 (from 0.17 for World reso ... to 1.00 for Scott's su ...)
Alternative Names
Scott, D. S.
Scott, D. S. 1932-
Scott, D. S. (Dana S.)
Scott, D. S. (Dana Stewart), 1932-
Scott, Dana.
Scott, Dana S. 1932-
Languages
English (133)
German (2)
Covers