年 〜
年

検索結果 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
紙図書
edited by Matthias Baaz ... [et al.]Cambridge University Press2014, c2011
全国の図書館
  • 著者標目...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
紙図書
edited by Matthias Baaz ... [et al.]Cambridge University Press2011
全国の図書館
  • 著者標目...nam, Hilary W. Scott, Dana S. Harper, Charles L.

The Seventeen provers of the world

The Seventeen provers of the world
紙図書
Freek Wiedijk (ed.) ; foreword by Dana S. ScottSpringerc2006
全国の図書館
  • 著者標目Wiedijk, 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)
紙図書
Springer-Verlag1978.<MA41-133>
国立国会図書館
  • 著者標目Mü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)
紙図書
Springer-Verlag1979.<MA81-248>
国立国会図書館
  • 著者標目..., 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)
紙図書
American Mathematical Society1971-<MA41-38>
国立国会図書館
  • 著者標目...Angeles, 1967. Scott, Dana S. Jech, Thomas J.

Data types as lattices

Data types as lattices
紙図書
by Dana ScottOxford University Computing Laboratory, Programming Research Group1976
全国の図書館
  • 著者標目Scott, 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
紙図書
[compiled] by C. A. B. Peacocke and Dana ScottSub-faculty of Philosophy [University of Oxford][1978]
全国の図書館
  • 著者標目Peacocke, 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
紙図書
edited by G.H. Müller and D.S. ScottSpringer-Verlag1978
全国の図書館
  • 著者標目Mü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
紙図書
edited by M.P. Fourman, C.J. Mulvey, and D.S. ScottSpringer-Verlag1979
全国の図書館
  • 著者標目... 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
紙図書
by E. J. Lemmon in collaboration with Dana Scott ; edited by Krister SegerbergB. Blackwell1977
全国の図書館
  • 著者標目Lemmon, E. J. (Edward John) Scott, Dana S. Segerberg, Krister

Toward a mathematical semantics for computer languages

Toward a mathematical semantics for computer languages
紙図書
by Dana Scott and Christopher StracheyOxford University Computing Laboratory, Programming Research Group1971
全国の図書館
  • 著者標目Scott, Dana S. Strachey, Christopher

Axiomatic set theory pt. 1 pt. 2

Axiomatic set theory pt. 1 pt. 2
紙図書
[edited by Dana S. Scott]American Mathematical Society1971-1974
全国の図書館
  • 著者標目Symposium in Pure Mathematics Scott, Dana S. Jech, Thomas J.

The lattice of flow diagrams

The lattice of flow diagrams
紙図書
by Dana ScottOxford University Computing Laboratory (Programming Research Group)1970
全国の図書館
  • 著者標目Scott, Dana S.

The lattice of flow diagrams

The lattice of flow diagrams
紙図書
by Dana ScottIn-house reproduction1970
全国の図書館
  • 著者標目Scott, Dana S.

Mathematical semantics for two simple languages

Mathematical semantics for two simple languages
紙図書
by Christopher Strachey, Dana ScottIn-house reproduction1970
全国の図書館
  • 著者標目Strachey, Christopher Scott, Dana S.

Outline of a mathematical theory of computation

Outline of a mathematical theory of computation
紙図書
by Dana ScottIn-house reproduction
全国の図書館
  • 著者標目Scott, Dana S.

検索結果は以上です。