VIAF

Virtual International Authority File

Search

Scott, D. S. National Library of Poland BIBSYS

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

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

Dana Scott American mathematician and computer scientist Wikidata ISNI

Scott, Dana BIBSYS

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

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 BIBSYS National Library of the Netherlands
Axiomatic set theory National Library of France Sudoc [ABES], France National Library of the Netherlands NUKAT Center of Warsaw University Library BIBSYS Library of Congress/NACO
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 BIBSYS 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 NUKAT Center of Warsaw University Library National Library of the Netherlands Library of Congress/NACO National Library of Poland BIBSYS
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 BIBSYS 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 BIBSYS
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 BIBSYS 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 BIBSYS

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