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)