茨城大学附属図書館 OPAC

目次情報: 続きを見る

	Solution of the problem of finite axiomatizability for theories that are categorical in all infinite powers	B.I. Zilʹber
	On a solution of the problem of finite axiomatizability for theories categorical in all infinite powers	B.I. Zilʹber
	On theories with a basis	M.I. Bekenov
	Gentzen systems of postulates for set theory	V.E. Vailʹ
	Arithmetically complete modal theories	S.N. Artemov
	On the complexity of shortest disjunctive normal forms of Boolean functions	A.D. Korshunov

	Solution of the problem of finite axiomatizability for theories that are categorical in all infinite powers	B.I. Zilʹber
	On a solution of the problem of finite axiomatizability for theories categorical in all infinite powers	B.I. Zilʹber
	On theories with a basis	M.I. Bekenov