Počet záznamů: 1
Decorated linear order types and the theory of concatenation
- 1.Čačić, V., Pudlák, P., Restall, G., Urquhart, A., Visser, A. Decorated linear order types and the theory of concatenation. In: DELON, F., KOHLENBACH, U., MADDY, P., STEPHAN, F., eds. Logic Colloquium 2007. Cambridge: Cambridge University Press, 2010, s. 1-13. ISBN 978-0-521-76065-2.
Počet záznamů: 1