Connections
logic
Entity
International Standard Book Number
Entity
function
Entity
propositional calculus
Entity
homomorphism
Entity
model theory
Entity
first-order logic
Entity
truth value
Entity
Helena Rasiowa
Entity
atomic formula
Entity
interpretation
Entity
domain of discourse
Entity
propositional variable
Entity
free and bound variables
Entity
propositional formula
Entity
Roman Sikorski
Entity
sentence
Entity
structure
Entity
T-schema
Entity