2007 | ||
---|---|---|
2 | EE | Daniel Gâinâ, Andrei Popescu: An Institution-Independent Proof of the Robinson Consistency Theorem. Studia Logica 85(1): 41-73 (2007) |
2006 | ||
1 | EE | Daniel Gâinâ, Andrei Popescu: An Institution-independent Generalization of Tarski's Elementary Chain Theorem. J. Log. Comput. 16(6): 713-735 (2006) |
1 | Andrei Popescu | [1] [2] |