Zoekresultaten
Resultaat 1 - 2 (van 2)
Balder ten Cate The first order formulas preserved under ultrafilter extensions are not recursively enumerable
Non-fictie
Engels | 2 pagina's | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek
Balder ten Cate | Massimo Franceschet Guarded fragments with constants
Non-fictie
Engels | Institute for Logic, Language and Computation (ILLC), University of Amsterdam, Amsterdam | 2004
Gedrukt boek