Effective inner product spaces

Notre Dame Journal of Formal Logic 19 (4):693-701 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093888521

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Sums of $\alpha$-spaces.Northrup Fowler - 1975 - Notre Dame Journal of Formal Logic 16 (3):379-388.
Monads for regular and normal spaces.Robert Warren Button - 1976 - Notre Dame Journal of Formal Logic 17 (3):449-456.
The geometry of solids in Hilbert spaces.Theodore F. Sullivan - 1973 - Notre Dame Journal of Formal Logic 14 (4):575-580.
Vector spaces and binary quantifiers.Michał Krynicki, Alistair Lachlan & Jouko Väänänen - 1984 - Notre Dame Journal of Formal Logic 25 (1):72-78.
Point monads and $P$-closed spaces.Robert A. Herrmann - 1979 - Notre Dame Journal of Formal Logic 20 (2):395-400.
A theorem on recursively enumerable vector spaces.Richard Guhl - 1975 - Notre Dame Journal of Formal Logic 16 (3):357-362.
An independent statement about metric spaces.Maurice Machover - 1976 - Notre Dame Journal of Formal Logic 17 (1):131-134.
Two notes on recursively enumerable vector spaces.Richard Guhl - 1977 - Notre Dame Journal of Formal Logic 18 (2):295-298.
Two notes on vector spaces with recursive operations.J. C. E. Dekker - 1971 - Notre Dame Journal of Formal Logic 12 (3):329-334.
The product of implication and counter-implication systems.Rangaswamy V. Setlur - 1970 - Notre Dame Journal of Formal Logic 11 (2):241-248.

Analytics

Added to PP
2010-08-24

Downloads
4 (#1,644,260)

6 months
13 (#219,908)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references