Logic semantics metamathematics : papers from 1923 to 1938

出版社:Oxford : Oxford Univ. Press, 1956.
出版年:1956
作者:Tarski,Alfred.
资源类型:图书
细分类型:西文文献
相关推荐

Logic, semantics, metamathematics : papers from 1923 to 1938,

  • 作者:Tarski,Alfred
  • 出版社:Oxfore : Clarendon Press, 1956
  • 出版年:1956

Metamathematics of fuzzy logic

  • 作者:Hajek,Petr.
  • ISBN:0792352386
  • 出版社:Dordrecht ; Boston : Kluwer, c1998.
  • 出版年:1998

Semantics for big data : papers from the AAAI Fall Symposium.

  • 作者:AAAI Fall Symposium on Semantics for Big Data
  • ISBN:9781577356424
  • 出版社:Menlo Park, Calif. : AAAI Press, c2013.
  • 出版年:2013

Mathematical aspects of logic programming semantics

  • 作者:Hitzler,Pascal.
  • ISBN:9781439829615
  • 出版社:Boca Raton, FL : CRC Press, c2011.
  • 出版年:2011

Computability theory, semantics, and logic programming

  • 作者:Fitting,Melvin,
  • ISBN:0195036913
  • 出版社:New York : Oxford University Press ; Oxford : Clarendon Press, 1987.
  • 出版年:1987

Papers and discussions, 1937-1938.

  • 作者:Association of Mine Managers of the Transvaal.
  • 出版社:Johannesburg : Hortors, 1939.
  • 出版年:1939