Počet záznamů: 1
Decorated linear order types and the theory of concatenation
- 1.Čačić, V. - Pudlák, Pavel - Restall, G. - Urquhart, A. - Visser, A.
Decorated linear order types and the theory of concatenation.
Logic Colloquium 2007. Cambridge: Cambridge University Press, 2010 - (Delon, F.; Kohlenbach, U.; Maddy, P.; Stephan, F.), s. 1-13. ISBN 978-0-521-76065-2.
[Logic Colloquium 2007. Wroclaw (PL), 14.07.2007-19.07.2007]
http://hdl.handle.net/11104/0190897
Počet záznamů: 1