Teodor Stepien

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999

2 EE Teodor Stepien: Derivability. Reports on Mathematical Logic 33: 79-98 (1999)

1993

1 Teodor Stepien: A Note on Formalisations of First-order Theories. Reports on Mathematical Logic 27: 19-28 (1993)

1999
2	EE	Teodor Stepien: Derivability. Reports on Mathematical Logic 33: 79-98 (1999)
1993
1		Teodor Stepien: A Note on Formalisations of First-order Theories. Reports on Mathematical Logic 27: 19-28 (1993)