Научная библиотека ТГУ catalog › Results of search for 'Grädel, Erich.'

Your search returned 2 results.

	1.	Johan van Benthem on Logic and Information Dynamics electronic resource edited by Alexandru Baltag, Sonja Smets. by Baltag, Alexandru [editor.] \| Smets, Sonja [editor.] \| SpringerLink (Online service). Series: Outstanding Contributions to LogicSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	2.	Finite Model Theory and Its Applications Электронный ресурс by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein. by Grädel, Erich \| Kolaitis, Phokion G \| Libkin, Leonid \| Marx, Maarten \| Spencer, Joel \| Vardi, Moshe Y \| Venema, Yde \| Weinstein, Scott \| SpringerLink (Online service). Series: Texts in Theoretical Computer Science an EATCS SeriesSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)