Scott, Dana S., 1932-....

Scott, Dana S.
Scott, Dana
Scott, Dana Stewart, 1932-
VIAF ID: 65289661 (Personal)
Permalink: http://viaf.org/viaf/65289661

Preferred Forms
-
200 _ | ‡a Scott ‡b Dana S. ‡f 1932-....

-
100 1 _ ‡a Scott, Dana S., ‡d 1932-....

-
100 1 _ ‡a Scott, Dana S.

-
100 1 0 ‡a Scott, Dana S.

-
100 1 _ ‡a Scott, Dana Stewart, ‡d 1932-

-
100 1 _ ‡a Scott, Dana (undifferentiated)

-
100 1 _ ‡a Scott, Dana S. ‡d (1932- ).

-
100 1 _ ‡a Scott, Dana


4xx's: Alternate Name Forms (5)

Selected Titles
- Notes on the formalization of logic
(5)

- Axiomatic set theory
(5)



- A selective bibliography of philosophical logic
(5)


- Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977
(4)


- An introduction to modal logic : the Lemmon notes
(3)


- Higher set theory proceedings [of a conference], Oberwolfach, Germany, April 13 - 23, 1977
(2)
- Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977
(2)

- Denotational semantics : the Scott-Strachey approach to programming language theory
(2)

- Computation of language : an essay on syntax, semantics and pragmatics in natural man-machine communication
(2)
- Axiomatic set theory
(2)




