Predicate Calculus And Program Semantics

Lignende værker

• Predicate logic /
  af: Pospesel, Howard
  Udgivet: (1976)
• Propositional and Predicate Calculus : A Model of Argument/
  af: Goldrei, Derek
  Udgivet: (2005)
• Formal Development Of Programs And Proofs
  af: Dijkstra, Edsger W
  Udgivet: (1990)
• Logical form predication and ontology /
  af: Sen, Pranab Kumar
  Udgivet: (1982)
• Subject and predicate in logic and grammar /
  af: Strawson, P. F.
  Udgivet: (1974)