8 treff

Logicism, intuitionism, and formalism : What has become of them?
edited by Sten Lindström...[et al.]
Bok Engelsk 2009
Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003
Logic Colloquium
Bok Engelsk 2006
Mathematical theory of domains
Viggo Stoltenberg-Hansen, Ingrid Lindströ...
Bok Engelsk 1994
Finite algorithmic procedures and computation theories
Moldestad, Johan
Bok Engelsk 1978
Finite algorithmic procedures and inductive definability
Moldestad, Johan
Bok Engelsk 1978
On computational complexity in weakly admissible structures
Stoltenberg-Hansen, Viggo
Bok Engelsk 1978
Finite injury arguments in infinite computation theorems
Stoltenberg-Hansen, Viggo
Bok Engelsk 1977
A regular set theorem for infinite computation theories
Stoltenberg-Hansen, Viggo
Bok Engelsk 1977