Propositional and Predicate Calculus A Model of Argument

EISBN:9781846282294
PISBN:9781852339210
出版社:Springer London
出版类型:Undergraduate textbook
出版时间:2005
作者:Derek Goldrei
主题词:Mathematical Logic and Foundations
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Understanding Editorial Text: A Computer Model of Argument Comprehension

  • 作者:Sergio J. Alvarado
  • EISBN:9781461315612
  • 出版社:Springer US
  • 出版时间:1990

Understanding Editorial Text: A Computer Model of Argument Comprehension

  • 作者:Sergio J. Alvarado
  • EISBN:9781461315612
  • 出版社:Springer US
  • 出版时间:1990

Predicate Calculus and Program Semantics

  • 作者:Edsger W. Dijkstra,Carel S. Scholten
  • EISBN:9781461232285
  • 出版社:Springer New York
  • 出版时间:1990

Predicate Calculus and Program Semantics

  • 作者:Edsger W. Dijkstra,Carel S. Scholten
  • EISBN:9781461232285
  • 出版社:Springer New York
  • 出版时间:1990

R-Calculus, IV: Propositional Logic

  • 作者:Wei Li,Yuefei Sui
  • EISBN:9789811986338
  • 出版社:Springer Nature
  • 出版时间:2023

A Statistical Model

  • 作者:Stephen E. Fienberg,David C. Hoaglin,William H. Kruskal,Judith M. Tanur
  • EISBN:9781461233848
  • 出版社:Springer New York
  • 出版时间:1990