results  search [or]   1 hits 
ISNI: 
0000 0001 1068 0677 
Name: 
Scott, D. S.
Scott, Dana
Scott, Dana S.
Scott, Dana Stewart

Dates: 
1932 
Creation class: 
cre
Language material
Text

Creation role: 
author
contributor
editor
redactor

Related names: 
Bostock, David
Davies, Martin K.
Fourman, Michael Paul (1950....))
London Mathematical Society
Müller, Gert H.
Müller, Gert Heinz (1923....))
Mulvey, C. J. (1946)
Peacocke, Christopher
Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis (1977 : Durham, Eng)
Stoy, Joseph E.
Strachey, Christopher
Symposium in Pure Mathematics (1967 ; Los Angeles)
Symposium in Pure Mathematics, University of California, Los Angeles, 1967

Titles: 
alfred tarski: life and logic
Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 921, 1977
Axiomatic set theory.
Computation of language : an essay on syntax, semantics and pragmatics in natural manmachine communication
Data types as lattices
Denotational semantics : the ScottStrachey approach to programming language theory
finite automata and their decision problem
Foundational aspects of theories of measurement
Higher set theory : proceedings, Oberwolfach, Germany, April 1323, 1977
introduction to modal logic, An : the Lemmon notes
Kurt Gödel and the foundations of mathematics horizons of truth
lattice of flow diagrams, The
Notes on the formalization of logic
Oxford logic guides
proof of the independence of the continuum hypothesis, a
Removal of phosphates and metals from sewage sludge
Selected papers
selective bibliography of philosophical logic, A
Toward a mathematical semantics for computer languages

Notes: 

Sources: 
TEL
