Abramsky, Samson.

概要

作品:	1 作品在 1 項出版品 1 種語言

書目資訊

Dependence logic = theory and applications / by: SpringerLink (Online service); Abramsky, Samson. (書目-語言資料,印刷品)

Dependence Logic = Theory and Applications / by: Kontinen, Juha.; Vollmer, Heribert.; Väänänen, Jouko.; Abramsky, Samson.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

主題

Mathematical logic. Linear dependence (Mathematics) Mathematics. Logic, Symbolic and mathematical. Logic. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages.