JOSEP MARIA FONT
UB Home
Index
Home
Teaching
Interests
Short c.v.
Publications
To download
The research group
The Seminar
The Master
Some links
CURRENT TEACHING (2009–2010)
Abstract algebraic Logic
(couse in the
Master in pure and applied logic
)
Elementary set theory
Introduction to mathematical logic
(Prolog)
Logic for computer science students
(Prolog)
Mathematical language and reasoning
RESEARCH INTERESTS
Abstract algebraic logic
Algebraic logic
Non-classical logics
OTHER SCIENTIFIC INTERESTS
Applications of lattice theory
and universal algebra to logic
History of logic
History of mathematics
Foundations of mathematics
Programming in (La)TeX
Editing and publishing mathematics
© Josep Maria Font
Latest update: 09/09/09