Six papers in logic / by S.N. Artemov ... [et al. ; translation edited by Ben Silver]. Series 2, volume 135

Contributor(s): Artemov, S. N.Silver, BenMaterial type: Computer fileComputer fileSeries: American Mathematical Society Translations: Series 2Publication details: Providence, R.I. : American Mathematical Society, c1987Description: 1 online resource (ix, 79 p.)ISBN: 9781470433468 (online)Subject(s): Logic, Symbolic and mathematicalOnline resources: Click here to access online
Contents:
Solution of the problem of finite axiomatizability for theories that are categorical in all infinite powers /; On a solution of the problem of finite axiomatizability for theories categorical in all infinite powers /; On theories with a basis /; Gentzen systems of postulates for set theory /; Arithmetically complete modal theories /; On the complexity of shortest disjunctive normal forms of Boolean functions / B. I. Zilber; B. I. Zilber; M. I. Bekenov; V. E. Vail; S. N. Artemov; A. D. Korshunov
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current library Call number URL Status Date due Barcode Item holds
electronic book electronic book
Link to resource Accessible Online EBK20789
Total holds: 0

Includes bibliographies.

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

There are no comments on this title.

to post a comment.