VIAF

Virtual International Authority File

Search

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

Scott, D. S. National Library of Poland

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

Dana Scott American mathematician and computer scientist Wikidata ISNI

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 (30)

Open Section Close Section 5xx's: Related Names (1)

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 Sudoc [ABES], France Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of the Netherlands
Axiomatic set theory National Library of the Netherlands National Library of France Sudoc [ABES], France Library of Congress/NACO NUKAT Center of Warsaw University Library
Computation of language : an essay on syntax, semantics and pragmatics in natural man-machine communication / Roland Hausser. - Berlin [etc.], cop. 1989. 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. National Library of Poland NUKAT Center of Warsaw University Library
Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 Sudoc [ABES], France Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of Poland National Library of the Netherlands
An introduction to modal logic : the Lemmon notes Sudoc [ABES], France Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of the Netherlands
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
Outline of a mathematical theory of computation Sudoc [ABES], France
Oxford logic guides Sudoc [ABES], France National Library of the Netherlands
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 Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of the Netherlands
Toward a mathematical semantics for computer languages Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions 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 (17)