The great formal machinery works : theories of deduction and computation at the origins of the digit

出版社:Princeton, New Jersey : Princeton University Press, 2017.
ISBN:9780691174174
出版年:2017
作者:Von Plato,Jan,
资源类型:图书
细分类型:西文文献
相关推荐

1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016) : June 2

  • 作者:International Conference on Formal Structures for Computation and Deduction
  • ISBN:9781510825338
  • 出版社:Saarbruchen, Germany : Schloss Dagstuhl, 2016.
  • 出版年:2016

Formal theories of visual perception

  • 作者:Leeuwenberg,E. L.J.
  • ISBN:047199586X
  • 出版社:Chichester : Wiley, c1978
  • 出版年:1978

Deduction, computation, experiment : exploring the effectiveness of proof

  • 作者:Lupacchini,Rossella.
  • ISBN:9788847007833
  • 出版社:Berlin ; New York : Springer, 2008.
  • 出版年:2008

Ten great works of philosophy

  • 作者:Wolff,Robert Paul.
  • 出版社:New York : New American Library, 1969.
  • 出版年:1969

the great works of philosophy

  • 作者:Robert Paul Wolff
  • ISBN:0451528307
  • 出版社:A SIGNET CLASSIC
  • 出版年:2002

Great works of art, and what makes them great

  • 作者:Ruckstull,Fred Wellington,
  • 出版社:New York : Garden City Pub., c1925.
  • 出版年:1925