# Teodor Stepien

According to our database

Collaborative distances:

^{1}, Teodor Stepien authored at least 6 papers between 1984 and 1999.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1999

Derivability.

Reports on Mathematical Logic, 1999

1993

A Note on Formalisations of First-order Theories.

Reports on Mathematical Logic, 1993

1990

Minimal systems.

Math. Log. Q., 1990

1988

On The Uniqueness of the Lindenbaum Extension.

Math. Log. Q., 1988

1985

On Number of Lindenbaum's Oversystems of Propositional and Predicate Calculi.

Math. Log. Q., 1985

1984

A sufficient and Necessary Condition for Tarski's Property in Lindenbaum's Extensions.

Math. Log. Q., 1984