router
command
computer program
declarative programming
demonstrate
symbolic logician
formal logic
program
Reed-Kellogg system
object-oriented programing language
swing round the circle
programme
superintuitionistic
mathematical model
photofabrication
display list
sequential logic
documentation
object-oriented programming language
computer programme
temporal logic
computational design
ALU
propositional logic
mathematics
math
pretzelize
hardware description language
elaboration
propositional calculus
Church encoding
logic
maths
loop
axiom system
contrast set
characteristic curve
characterisic function
interdigitization
iteration
molfile
computing
computer science