Teodor Stepien

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

Collaborative distances:
  • no known Dijkstra number2.
  • no known Erdős number3.

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


  Loading...