Intuitionistic computability logic

Találatok száma: 1.

Japaridze Giorgi: Intuitionistic computability logic. In: Acta cybernetica, (18) 1. pp. 77-113. (2007)

A lista elkészítésének dátuma 2026. augusztus 1. 17:46:44 CEST.

Itt kérhet technikai vagy tartalmi segítséget: contenta AT ek.szte.hu
SZTE Egyetemi Kiadványok is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.