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-test Library of Congress/NACO German National Library

Scott, Dana National Library of Australia German National Library ISNI-test

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-test: 0000  0001  1068  0677 

Open Section Close Section Preferred Forms

 

 

 

 

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

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 NUKAT Center of Warsaw University Library National Library of the Netherlands-test Sudoc [ABES], France Library of Congress/NACO
Axiomatic set theory National Library of the Netherlands-test Library of Congress/NACO NUKAT Center of Warsaw University Library 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-test
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, Oberwolfach, Germany, April 13-23, 1977 NUKAT Center of Warsaw University Library National Library of Poland Sudoc [ABES], France National Library of the Netherlands-test Library of Congress/NACO
An introduction to modal logic : the Lemmon notes NUKAT Center of Warsaw University Library National Library of the Netherlands-test 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. NUKAT Center of Warsaw University Library National Library of the Netherlands-test
Oxford logic guides National Library of the Netherlands-test 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 NUKAT Center of Warsaw University Library National Library of the Netherlands-test 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)