dblp.uni-trier.dewww.uni-trier.de

Teresa Bigorajska

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2003
4EETeresa Bigorajska: Strongly maximal subgroups determined by elements in interstices. Math. Log. Q. 49(1): 101-108 (2003)
2001
3 Zofia Adamowicz, Teresa Bigorajska: Existentially Closed Structures and Gödel's Second Incompleteness Theorem. J. Symb. Log. 66(1): 349-356 (2001)
1995
2 Teresa Bigorajska: On Sigma1-definable Functions Provably Total in I-Pi1-. Math. Log. Q. 41: 135-137 (1995)
1994
1 Teresa Bigorajska: Universal Induction and True Universal Arithmetic. Math. Log. Q. 40: 103-105 (1994)

Coauthor Index

1Zofia Adamowicz [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)