Predicate Calculus And Program Semantics

Liknande verk

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