Academia.eduAcademia.edu

Ferrari CAPITOLO I

The chapter exposes and discusses the basic notions of formal semantics for second order classical logic.