intensional and higher-order modal logic

Title: intensional and higher-order modal logic
Author: daniel gallin
Call number: al/183
Library: Mathematics library

‹ Back to the list

Latest announcements

All announcements ›

Notices for students

New Access accounts for first-year students

First-year students – Academic year 2026/2027

Get your access account by scanning the QR code in the announcement below or via the link:

In case of a technical problem: mail@student.umc.edu.dz

New Notice to students with a double registration or double validation for the 2026-2027 academic year

The Faculty administration informs students concerned by a double registration or double validation (according to the list in the table below) that they must regularise their situation on the Progres platform.

For more information:

Faculty library announcement

Notice to students of the Faculty of Exact Sciences (Bachelor, Master and Doctorate)

The Faculty library informs all students of the Faculty of Exact Sciences (Bachelor, Master and Doctorate) that registrations are open for the authorisation to use the services of the Central Library of Salah Boubnider University, Constantine 3.

Registrations are open from 11/10/2026 to 31/10/2026 at the library annex of the Matter Sciences Common Core Structure.

Read the announcement

Faculty

General Secretariat

Scientific Council

Teaching staff

Scientific clubs

Chemistry

Physics

Mathematics

Matter Sciences

Student area

My studies

Registration and procedures

Regulations and pedagogy

Online services

Faculty library

Chemistry library

Physics library

Mathematics library

intensional and higher-order modal logic