12 results
Frontmatter
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp i-iv
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp vii-viii
-
- Chapter
- Export citation
Contents
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp v-vi
-
- Chapter
- Export citation
Specker's theorem, cluster points, and computable quantum functions
-
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp 134-159
-
- Chapter
- Export citation
Logic in Tehran
-
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006
Workshop and conference on logic, algebra, and arithmetic: Tehran, October 18–22, 2003
-
- Book:
- Logic in Tehran
- Published online:
- 30 March 2017
- Print publication:
- 02 March 2006, pp ix-x
-
- Chapter
- Export citation
Degrees of recursively enumerable topological spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 3 / September 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 610-622
- Print publication:
- September 1983
-
- Article
- Export citation
Maximality in effective topology
-
- Journal:
- The Journal of Symbolic Logic / Volume 48 / Issue 1 / March 1983
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-112
- Print publication:
- March 1983
-
- Article
- Export citation
Simplicity in effective topology
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 1 / March 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 169-183
- Print publication:
- March 1982
-
- Article
- Export citation
Recursive constructions in topological spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 4 / December 1979
- Published online by Cambridge University Press:
- 12 March 2014, pp. 609-625
- Print publication:
- December 1979
-
- Article
- Export citation
Major subspaces of recursively enumerable vector spaces1
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 2 / June 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 293-303
- Print publication:
- June 1978
-
- Article
- Export citation
Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 4 / December 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 481-491
- Print publication:
- December 1977
-
- Article
- Export citation