WorldCat Identities

Scott, Dana S.

Overview
Works: 106 works in 314 publications in 2 languages and 2,826 library holdings
Genres: Conference papers and proceedings  Bibliography  History 
Roles: Author, Editor, Thesis advisor, Honoree, Other, Compiler, Author of introduction
Classifications: QA3, 510.8 S
Publication Timeline
.
Most widely held works by Dana S Scott
Axiomatic set theory by Dana S Scott( Book )

34 editions published between 1971 and 1987 in English and Undetermined and held by 451 WorldCat member libraries worldwide

Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 by G. H Müller( Book )

28 editions published between 1978 and 2008 in 3 languages and held by 424 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 )

23 editions published in 1979 in 3 languages and held by 380 WorldCat member libraries worldwide

An introduction to modal logic : the Lemmon notes by E. J Lemmon( Book )

11 editions published between 1976 and 1977 in English and Undetermined and held by 257 WorldCat member libraries worldwide

The innovative university( Book )

3 editions published in 2004 in English and held by 103 WorldCat member libraries worldwide

A selective bibliography of philosophical logic by Christopher Peacocke( Book )

7 editions published between 1978 and 1979 in English and Undetermined and held by 88 WorldCat member libraries worldwide

A selective bibliography of philosophical logic by Christopher Peacocke( Book )

14 editions published between 1975 and 1979 in English and held by 82 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 80 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 73 WorldCat member libraries worldwide

Implementing sparse matrix techniques in the ERATO code by Dana S Scott( Book )

2 editions published in 1980 in English and held by 57 WorldCat member libraries worldwide

A bibliography of logic books by Michael S Moss( Book )

3 editions published between 1975 and 1981 in English and held by 41 WorldCat member libraries worldwide

Notes on the formalization of logic by Dana S Scott( Book )

20 editions published in 1981 in English and Undetermined and held by 38 WorldCat member libraries worldwide

Toward a mathematical semantics for computer languages by Dana S Scott( Book )

2 editions published in 1971 in English and held by 36 WorldCat member libraries worldwide

Toposes, algebraic geometry and logic by I Bucur( )

2 editions published in 1972 in English and held by 30 WorldCat member libraries worldwide

Removal of phosphates and metals from sewage sludge by Dana S Scott( Book )

6 editions published between 1973 and 1976 in English and held by 22 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 21 WorldCat member libraries worldwide

Continuous lattices by Dana S Scott( Book )

2 editions published between 1971 and 1972 in English 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]( Book )

2 editions published in 1974 in Undetermined and English and held by 14 WorldCat member libraries worldwide

Recent developments in domain theory : a collection of papers in honour of Dana S. Scott( Book )

2 editions published in 2004 in English and held by 3 WorldCat member libraries worldwide

Kurt Godel and Foundations of Maths( )

in English and held by 0 WorldCat member libraries worldwide

Annotation
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.67 (from 0.42 for Kurt Godel ... to 0.92 for Axiomatic ...)

Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977
Alternative Names
Dana S. Scott

Dana Scott Amerikaans wiskundige

Dana Scott amerikanischer Mathematiker, Logiker, Informatiker und Philosoph

Dana Scott amerikansk matematikar, informatikar og ingeniør

Dana Scott amerikansk matematiker, datavetare och ingenjör

Dana Scott amerikansk matematiker, informatiker og ingeniør

Dana Scott informatico e matematico statunitense

Dana Scott matemàtic, lògic, informàtic i filòsof estatunidenc

Dana Scott US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph

Scott, D. S.

Scott, D. S. 1932-

Scott, D. S. (Dana S.)

Scott, D. S. (Dana Stewart), 1932-

Scott, Dana.

Scott, Dana 1932-

Scott, Dana S. 1932-

Scott, Dana Steward 1932-

Ντέινα Σκοτ

Дана Скотт

Дейна Скот

Дејна Скот

Скотт, Дана

דיינה סקוט

دانا اسکات ریاضی‌دان، دانشمند علوم کامپیوتر، و مهندس آمریکایی

دانا سكوت

ডানা স্টুয়ার্ট স্কট

デイナ・スコット

达纳·斯科特

Languages
English (163)

German (2)

Covers
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977The innovative universityToposes, algebraic geometry and logicAxiomatic 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]