Six Papers in Logic - American Mathematical Society Translations: Series 2
Latest Publications

TOTAL DOCUMENTS

6

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By American Mathematical Society

9780821831113, 9781470433468

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the complexity of shortest disjunctive normal forms of Boolean functions

Six Papers in Logic - American Mathematical Society Translations: Series 2 ◽

10.1090/trans2/135/06 ◽

1987 ◽

pp. 55-79 ◽

Cited By ~ 2

Author(s):

A. D. Korshunov

Keyword(s):

Boolean Functions ◽

Normal Forms

Download Full-text

Arithmetically complete modal theories

Six Papers in Logic - American Mathematical Society Translations: Series 2 ◽

10.1090/trans2/135/05 ◽

1987 ◽

pp. 39-54 ◽

Cited By ~ 2

Author(s):

S. N. Artemov

Download Full-text

Solution of the problem of finite axiomatizability for theories that are categorical in all infinite powers

Six Papers in Logic - American Mathematical Society Translations: Series 2 ◽

10.1090/trans2/135/01 ◽

1987 ◽

pp. 1-11

Author(s):

B. I. Zil′ber

Keyword(s):

Finite Axiomatizability

Download Full-text

On theories with a basis

Six Papers in Logic - American Mathematical Society Translations: Series 2 ◽

10.1090/trans2/135/03 ◽

1987 ◽

pp. 19-21

Author(s):

M. I. Bekenov

Download Full-text

On a solution of the problem of finite axiomatizability for theories categorical in all infinite powers

Six Papers in Logic - American Mathematical Society Translations: Series 2 ◽

10.1090/trans2/135/02 ◽

1987 ◽

pp. 13-17

Author(s):

B. I. Zil′ber

Keyword(s):

Finite Axiomatizability

Download Full-text

Gentzen systems of postulates for set theory

Six Papers in Logic - American Mathematical Society Translations: Series 2 ◽

10.1090/trans2/135/04 ◽

1987 ◽

pp. 23-37

Author(s):

V. E. Vaĭl′

Keyword(s):

Set Theory ◽

Gentzen Systems

Download Full-text