In questo gruppo lettura ci confronteremo sulla nuova edizione di "First-Order Modal Logic" di Fitting & Mendelsohn. Ogni volta faremo un breve riassunto dei temi trattati nei capitoli che leggeremo e approfondiremo le parti o gli esercizi più interessanti.

Per partecipare alle chat vocali del gruppo lettura, entra nel nostro gruppo telegram! [ Ссылка ]

Libro che leggiamo nel gruppo lettura: [ Ссылка ]

свернуть