Main Page

From Logic Wiki
Revision as of 11:03, 23 July 2021 by Admin (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Group for Computability, Approximate Reasoning, Ordered structures, and Logics

CAROL is a research group of Federal University of Rio Grande do Norte (UFRN). It agglutinates researchers who are interested in the mathematical/formal aspects of Computing and its applications.

Matemática Discreta

Ferramentas de Lógica


Consult the User's Guide for information on using the wiki software.

Getting started