Search CORE

218 research outputs found

"Necessary for"

Author: Corsi Giovanna
Publication venue
Publication date: 21/08/2013
Field of study

Almae Matris Studiorum Campus

A Uniform Completeness Theorem for Quantified Modal Logics

Author: Corsi Giovanna
Publication venue
Publication date: 21/08/2013
Field of study

Almae Matris Studiorum Campus

A New Approach to Epistemic Logic

Author: Corsi Giovanna
Publication venue
Publication date: 21/08/2013
Field of study

Almae Matris Studiorum Campus

Alberi di sequenti linguaggio proposizionale

Author: Corsi Giovanna
Publication venue
Publication date: 24/10/2017
Field of study

Almae Matris Studiorum Campus

Teorema di validità

Author: Corsi Giovanna
Publication venue
Publication date: 12/12/2017
Field of study

Almae Matris Studiorum Campus

Primo test di autovalutazione con soluzioni

Author: Corsi Giovanna
Publication venue
Publication date: 07/11/2017
Field of study

Almae Matris Studiorum Campus

"La logica dell'infinito" di Henri Poincare', 1912.

Author: Corsi Giovanna
Publication venue
Publication date: 22/07/2009
Field of study

Almae Matris Studiorum Campus

Esercizi Tarski's world prima parte

Author: Corsi Giovanna
Publication venue
Publication date: 19/10/2017
Field of study

Almae Matris Studiorum Campus

Test autovalutazione formalizzazioni dic 2017

Author: Corsi Giovanna
Publication venue
Publication date: 11/12/2017
Field of study

Almae Matris Studiorum Campus

…

core

core