大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Tarski 的图书(共4本)

Theory and Applications of Relational Structures as Knowledge Instruments II [electronic resource] : International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers

0
索取号:
作者:Swart、 Harrie.、Or艂owska、 Ewa.、Schmidt、 Gunther.、Roubens、 Marc.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Relational Methods in Computer Science [electronic resource] : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers

0
索取号:
作者:MacCaull、 Wendy.、Winter、 Michael.、D眉ntsch、 Ivo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

From the Act of Judging to the Sentence [electronic resource] : The Problem of Truth Bearers from Bolzano to Tarski

0
索取号:
作者:Rojszczak、 Artur.、Wolenski、 Jan.、SpringerLink (Online service)、
出版社:Dordrecht : Springer Netherlands, 2005.

Cardinal algebras : With an appendix: Cardinal products of isomorphism types

0
索取号:O153/E602
作者:Tarski、 Alfred.、Jónsson、 Bjarni、 1920--、
出版社:New York : Oxford University Press, 1949.