Skip to main navigation
Skip to main content
Skip to main search
Students
Academic Staff
Administrative Staff
Eng
Ita
Change language
SEARCH
The SNS
Conoscere la normale
Conoscere la normale
Getting to know the Normale
The Normale introduces itself
History
Places
Authorities
Statute, Regulations and Ethical code
Equity, diversity, inclusion, well-being
Environmental sustainability
Associations and foundations
Ensuring quality
Communication at the SNS
Amministrazione
Amministrazione
Administration
Director
General Secretariat
General affairs Area
Budget and administration services
Teaching services
Property and maintenance services
Publishing Area
Cultural events and internationalisation services
Property and Acquisitions Area
Projects and ICT services
Research Area
Human resources services
Library Services Area
Technical and management structures Area
Comunicazioni
Comunicazioni
International
Outgoing
Incoming
Safety abroad
The networks of the Normale
Scholars at Risk – Italy
Eelisa
TraPoCo
Strumenti
Strumenti
Faculties
Faculty of Humanities
Faculty of Sciences
Faculty of Political and Social Sciences
The library of the Normale
Web site of the library
Gender Equality Plan
SNS GEP 2025 | 2027
Your 5x1000 to the SNS
How to donate
Studying at the SNS
Offerta+Vita
Offerta+Vita
Teaching Syllabus
Faculty of Humanities
Faculty of Sciences
Faculty of Political and Social Sciences
Study regulations
Seminars
Foreign Languages
Course archive
Admission to the individual courses for students from other universities
Visiting students from Italian universities
College life
Colleges and canteen
Places
Library
Collaboration opportunities
Peer tutoring
Financing opportunities
Psychological wellbeing and support
Disability support
Student activities
Perché studiare alla normale + placement
Perché studiare alla normale + placement
Why apply to the Normale?
At the forefront of tradition
A hotbed of talents
The quality of training and research
Connected to the world
Study free of charge
An ideal setting
Placement
Incoming internships
Outgoing Internships
Customised orientation and consultancy
Placement seminars
Placement portals
JOBFair
For companies and institutions
Alumni and Mentoring
Orientamento
University orientation
The SNS Orientation activities
Programs of orientation courses of previous years
Ammissioni
Ammissioni
Admissions
Undergraduate
PhD
National Doctorates and Joint PhD at Partner Universities
Would you like to study off-site?
Mobility opportunities
Organize your mobility abroad
How to attend a single course at the Scuola Normale Superiore
How to apply
Research
Fare ricerca in Normale
Fare ricerca in Normale
Research and innovation at the SNS
Cutting-edge research
Departments of Excellence
Knowledge transfer
Open Science
Dissemination of research
Research Quality Assessment (VQR)
Laboratori e Centri di ricerca
Laboratori e Centri di ricerca
Research structures
Laboratories and Centres
Research groups
Support Centres
Strumenti+Disseminazione-ricerca
Strumenti+Disseminazione-ricerca
Tools for Research
Research opportunities and funding
Training activities and information
Knowledge and technology transfer
The Joint Ethical Committee for Research
Ricerca-fondi+brevetto
Ricerca-fondi+brevetto
Catalogue of researchers' publications
IRIS - Institutional Research Information System
How to
Open Science
Use research funds
Your 5x1000 to the SNS
How to donate
Third Mission
Public engagement
Public engagement
Public engagement
The "Normale delle Idee"
The "Concerti della Normale"
Normale and Mascagni
Il Cinema della Normale
Communicating research
The students' forum
The "Letture della Normale"
Contemporary art at the Carovana
Piazza dei Cavalieri Project
Third mission/Public Engagement co-ordination
Disseminazione della ricerca
Disseminazione della ricerca
Dissemination of research
Meetings, conferences and workshops
The Colloqui della Classe di Scienze
Valorizzazione della ricerca
Valorizzazione della ricerca
Valorisation of research
Placement
Trasferimento della conoscenza
Open Science
Gestione dei dati della ricerca
Open access alle pubblicazioni
Cerchi informazioni sui concerti della Normale?
Cerchi informazioni sui concerti della Normale?
La piattaforma video SNS della ricerca e della cultura
Alla Enne
Accademia dei Lincei and Normale per la scuola
Refresher courses for teachers
Normale's events
All the events
Your 5x1000 to the SNS
How to donate
Breadcrumb
Home
Lessons register
Logic: proofs and meaning (Ordinario)
Logic: proofs and meaning (Ordinario)
Lecture log
Academic year 2026/2027
Lecturer Matteo Tesi
The Lecture log is not filled out. Please contact the teacher for further information.
Contents
Personnel
Search
Go to the
Advanced search
