Teodor Stepien

According to our database, Teodor Stepien authored at least 6 papers between 1984 and 1999.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

1999

Derivability.

Teodor Stepien

Reports Math. Log., 1999

1993

A Note on Formalisations of First-order Theories.

Teodor Stepien

Reports Math. Log., 1993

1990

Minimal systems.

Teodor Stepien

Math. Log. Q., 1990

1988

On The Uniqueness of the Lindenbaum Extension.

Teodor Stepien

Math. Log. Q., 1988

1985

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

Teodor Stepien

Math. Log. Q., 1985

1984

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

Teodor Stepien

Math. Log. Q., 1984