Predicate Calculus And Program Semantics

相似書籍

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