Search for a sign language term

Mathematical logic

Mathematical logic is a field of mathematics that tries to formalize logic. Mathematical logic shows reasoning with symbols. Important topics are the expressive power of formal systems and the deductive power of formal proof systems. Mathematical logic is important for theoretical computer science.

Funding

This project has been co-funded with support from the European Commission. This communication reflects the views only of the author, and the Commission cannot be held responsible for any use which may be made of the information contained therein.
Project number: 2020-1-IT01-KA202-008386

Consortium

Istituto Dei Sordi Di Torino
Equalizent Schulungs Und Beratungs Gmbh
Associação Portuguesa de Emprego Apoiado
Fundacion Tecnologia Social
Emphasys Centre
“Budakov Films” EOOD
European Digital Learning Network
en_USEnglish
it_ITItalian de_ATGerman pt_PTPortuguese es_ESSpanish bg_BGBulgarian elGreek en_USEnglish