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

V. Yu. Shavrukov Vis

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1997
4 V. Yu. Shavrukov: Undecidability in Diagonalizable Algebras. J. Symb. Log. 62(1): 79-116 (1997)
1996
3 V. Yu. Shavrukov: Remarks on Uniformly Finitely Precomplete Positive Equivalences. Math. Log. Q. 42: 67-82 (1996)
1994
2 V. Yu. Shavrukov: A Smart Child of Peano's. Notre Dame Journal of Formal Logic 35(2): 161-185 (1994)
1993
1 V. Yu. Shavrukov: A Note on the Diagonalizable Algebras of PA and ZF. Ann. Pure Appl. Logic 61(1-2): 161-173 (1993)

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)