Cognitive Science / Intuitionistic Logic / Relational Database / Higher Order Thinking / Computer Software / Finite Model Theory / Turing machine / Type System / First Order Logic / Object Oriented / Finite Model Theory / Turing machine / Type System / First Order Logic / Object Oriented