Skip to main navigation
Skip to main content
Skip to main search

Students
Academic Staff
Administrative Staff

Eng
Ita

Change language

‌

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

English Courses and Materials

Course archive

Admission to the individual courses for students from other 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

Depth-Bounded Natural Deduction for Classical Logic

Classe di Lettere e Filosofia

Monday 14 October 2019

16:00

Aula Contini

Follow us on

Footer column 1

Faculties
Admission competition
- Undergraduate course
- PhD course
Research
- IRIS - Institutional Research Information System
Teaching
- Syllabus

Footer column 2

Institutions and companies
- Placement
- Valorisation of research
Schools
- Refresher courses for teachers
Utilities

Footer column 3

The SNS Community
- Academic staff, students and staff search
Transparency

Contacts

Pisa site

Piazza dei Cavalieri, 7 - 56126 Pisa
tel. +39.050.509111

Florence site

Palazzo Strozzi, Piazza Strozzi - 50123 Florence
tel. +39.055 26 73300

PEC protocollo@pec.sns.it

Codice Fiscale (Tax Code) 8000 5050507
Partita IVA (VAT number) IT00420000507

Communications office
Press o fficer
URP - Public relations office

Footer secondary navigation

Amministrazione trasparente
Accessibility
Site map
Privacy policy
SOCIAL MEDIA POLICY

Contents
Personnel

Search

Go to the Advanced search

Conoscere la normale

Amministrazione

Comunicazioni

Strumenti

Offerta+Vita

Perché studiare alla normale + placement

Ammissioni

Fare ricerca in Normale

Laboratori e Centri di ricerca

Strumenti+Disseminazione-ricerca

Ricerca-fondi+brevetto

Public engagement

Disseminazione della ricerca

Valorizzazione della ricerca

Cerchi informazioni sui concerti della Normale?

Depth-Bounded Natural Deduction for Classical Logic