Jump to main content

yr 〜
yr

Search results 17

Kurt Gödel and the foundations of mathematics : horizons of truth : pbk

Kurt Gödel and the foundations of mathematics : horizons of truth : pbk
Paper図書
edited by Matthias Baaz ... [et al.]Cambridge University Press2014, c2011
Other Libraries in Japan
  • Author Heading...nam, Hilary W. Scott, Dana S. Harper, Charles L.

Kurt Gödel and the foundations of mathematics : horizons of truth : hbk

Kurt Gödel and the foundations of mathematics : horizons of truth : hbk
Paper図書
edited by Matthias Baaz ... [et al.]Cambridge University Press2011
Other Libraries in Japan
  • Author Heading...nam, Hilary W. Scott, Dana S. Harper, Charles L.

The Seventeen provers of the world

The Seventeen provers of the world
Paper図書
Freek Wiedijk (ed.) ; foreword by Dana S. ScottSpringerc2006
Other Libraries in Japan
  • Author HeadingWiedijk, Freek Scott, Dana S.

Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Müller and D. S. Scott. (Lecture notes in mathematics ; 669)

Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Müller and D. S. Scott. (Lecture notes in mathematics ; 669)
Paper図書
Springer-Verlag1978.<MA41-133>
National Diet Library
  • Author HeadingMüller, G. H. (Gert Heinz) , 1923- Scott, Dana S.

Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 / edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott. (Lecture notes in mathematics ; 753)

Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 / edited by M. P. Fourman, C. J. Mulvey, and D. S. Scott. (Lecture notes in mathematics ; 753)
Paper図書
Springer-Verlag1979.<MA81-248>
National Diet Library
  • Author Heading..., C. J., 1946- Scott, Dana S. London Mathematical Society. ...

Axiomatic set theory. [Edited by Dana S. Scott]. (Proceedings of symposia in pure mathematics, v. 13)

Axiomatic set theory. [Edited by Dana S. Scott]. (Proceedings of symposia in pure mathematics, v. 13)
Paper図書
American Mathematical Society1971-<MA41-38>
National Diet Library
  • Author Heading...Angeles, 1967. Scott, Dana S. Jech, Thomas J.

Data types as lattices

Data types as lattices
Paper図書
by Dana ScottOxford University Computing Laboratory, Programming Research Group1976
Other Libraries in Japan
  • Author HeadingScott, Dana S.

A selective bibliography of philosophical logic 3rd ed. / revised by Martin Davies and Graeme Forbes

A selective bibliography of philosophical logic 3rd ed. / revised by Martin Davies and Graeme Forbes
Paper図書
[compiled] by C. A. B. Peacocke and Dana ScottSub-faculty of Philosophy [University of Oxford][1978]
Other Libraries in Japan
  • Author HeadingPeacocke, Christopher Scott, Dana S. Davies, Martin Forbes, Graeme

Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 : Berlin : New York

Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 : Berlin : New York
Paper図書
edited by G.H. Müller and D.S. ScottSpringer-Verlag1978
Other Libraries in Japan
  • Author HeadingMüller, G. H. (Gert Heinz) Scott, Dana S.

Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 : Berlin : New York

Applications of sheaves : proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 : Berlin : New York
Paper図書
edited by M.P. Fourman, C.J. Mulvey, and D.S. ScottSpringer-Verlag1979
Other Libraries in Japan
  • Author Heading... Mulvey, C. J. Scott, Dana S. London Mathematical Society

An introduction to modal logic : the Lemmon notes

An introduction to modal logic : the Lemmon notes
Paper図書
by E. J. Lemmon in collaboration with Dana Scott ; edited by Krister SegerbergB. Blackwell1977
Other Libraries in Japan
  • Author HeadingLemmon, E. J. (Edward John) Scott, Dana S. Segerberg, Krister

Toward a mathematical semantics for computer languages

Toward a mathematical semantics for computer languages
Paper図書
by Dana Scott and Christopher StracheyOxford University Computing Laboratory, Programming Research Group1971
Other Libraries in Japan
  • Author HeadingScott, Dana S. Strachey, Christopher

Axiomatic set theory pt. 1 pt. 2

Axiomatic set theory pt. 1 pt. 2
Paper図書
[edited by Dana S. Scott]American Mathematical Society1971-1974
Other Libraries in Japan
  • Author HeadingSymposium in Pure Mathematics Scott, Dana S. Jech, Thomas J.

The lattice of flow diagrams

The lattice of flow diagrams
Paper図書
by Dana ScottOxford University Computing Laboratory (Programming Research Group)1970
Other Libraries in Japan
  • Author HeadingScott, Dana S.

The lattice of flow diagrams

The lattice of flow diagrams
Paper図書
by Dana ScottIn-house reproduction1970
Other Libraries in Japan
  • Author HeadingScott, Dana S.

Mathematical semantics for two simple languages

Mathematical semantics for two simple languages
Paper図書
by Christopher Strachey, Dana ScottIn-house reproduction1970
Other Libraries in Japan
  • Author HeadingStrachey, Christopher Scott, Dana S.

Outline of a mathematical theory of computation

Outline of a mathematical theory of computation
Paper図書
by Dana ScottIn-house reproduction
Other Libraries in Japan
  • Author HeadingScott, Dana S.

Reached to the end of result.

RSS