Besonderhede van voorbeeld: -1974462525827308658

English

It is based on type theory for intuitionistic logics.

Spanish

Este forma es requisito para obtener métodos de cálculo para la lógica intuicionista.