VIAF

Virtual International Authority File

Search

Scott, D. S. National Library of Poland

Scott, Dana S., 1932-.... NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France

Scott, Dana S. National Library of the Netherlands Library of Congress/NACO German National Library

Scott, Dana National Library of Australia German National Library ISNI

Dana Scott American mathematician and computer scientist Wikidata

Scott, Dana Stewart, 1932- National Library of Israel

VIAF ID: 65289661 (Personal)

Permalink: http://viaf.org/viaf/65289661

ISNI: 0000  0001  1068  0677 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (25)

Open Section Close SectionWorks

Title Sources
Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO
Axiomatic set theory.. NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of the Netherlands Sudoc [ABES], France National Library of France
Computation of language : an essay on syntax, semantics and pragmatics in natural man-machine communication NUKAT Center of Warsaw University Library
Data types as lattices Library of Congress/NACO
Denotational semantics : the Scott-Strachey approach to programming language theory NUKAT Center of Warsaw University Library
Foundational aspects of theories of measurement National Library of the Netherlands
Higher set theory / ed. by G. H. Müller and D. S. Scott. - Berlin, 1978. NUKAT Center of Warsaw University Library National Library of Poland
Higher set theory proceedings [of a conference], Oberwolfach, Germany, April 13 - 23, 1977 National Library of the Netherlands National Library of Poland NUKAT Center of Warsaw University Library Library of Congress/NACO Sudoc [ABES], France
An introduction to modal logic : the Lemmon notes NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Kurt Gödel and the foundations of mathematics horizons of truth Sudoc [ABES], France
The lattice of flow diagrams Library of Congress/NACO
Notes on the formalization of logic National Library of the Netherlands NUKAT Center of Warsaw University Library
Oxford logic guides National Library of the Netherlands Sudoc [ABES], France
Removal of phosphates and metals from sewage sludge Library of Congress/NACO
Selected papers NUKAT Center of Warsaw University Library
A selective bibliography of philosophical logic National Library of the Netherlands NUKAT Center of Warsaw University Library Library of Congress/NACO
Toward a mathematical semantics for computer languages Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (4)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section About

Open Section Close Section History of VIAF ID:65289661 (36)