Login / Signup
Infinitary logic and topological homeomorphisms.
Terry A. McKee
Published in:
Math. Log. Q. (1975)
Keyphrases
</>
modal logic
topological properties
logic programming
multi valued
digital circuits
topological map
asynchronous circuits
database
deontic logic
topological features
formal theory
classical logic
probability theory
information systems
artificial intelligence
information retrieval
data mining
databases