VDict - Definition of axiomatic set theory

search result for axiomatic set theory in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

CUCH boundedly complete COLD-K bottom F+L AGM Theory for Belief Revision distributive lattice disjoint union proof theory PROSE deterministic automaton effective computable Ontic complete partial ordering compactness preserving reduction strategy Gottlob Frege low-bandwidth complete ASL+syntax tree backward analysis Algebra of Communicating Processes Pari combination semantics join Cornell Theory Center linear logic NIAL reflexive nondeterministic automaton B-Method CHARITY Godzillagram decision problem Omega-algebraic plonk set complement discriminated union burn-in period proof alpha conversion complete metric space Cinderella Book steganography linear argument Institut National de Recherche en Informatique et Automatique Mu static analysis Bird-Meertens Formalism rdb Busy Beaver monad infinite automaton toy language Church of the SubGenius Basic Encoding Rules constructor GAP functor chromatic number black art least upper bound open/closed principle relational algebra typed lambda-calculus eta conversion evaluator Richard Hamming transitive closure metaheuristic Hamiltonian problem bottom-unique combinator Concrete Data Structure Actors quantum bogodynamics Discordianism

First < Previous 1 2 3 Next > Last