results  search [or]  (ISNI Number (ISN:))   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)
Jech, Tomáš (1944...)
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.
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..
bibliography of logic books, A
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 [of a conference], Oberwolfach, Germany, April 13  23, 1977
introduction to modal logic, An : the "Lemmon notes"
lattice of flow diagrams, The
'Lemmon notes', The : an introduction to modal logic
modal logic
Notes on the formalization of logic
Oxford logic guides
philosophical problems in logic
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

Notes: 

Sources: 
TEL
