Catalogo · 9781575860244
Arrow logic and multi-modal logic
ISBN 9781575860244
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Multi-Dimensional Modal Logic
Maarten Marx
Finite Model Theory and Its Applications
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Verba volant · scripta manent