![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 7 | Carsten Butz, Ieke Moerdijk: An Elementary Definability Theorem for First Order Logic. J. Symb. Log. 64(3): 1028-1036 (1999) |
Selection of 1 from 10 records - Ieke Moerdijk has 6 coauthors
Copyright © 2009-12-28 by Michael Ley (ley@uni-trier.de)