BazHum - wyniki wyszukiwania

Wyniki

Checked:

A constructive logic of program schemata on a decidable universe

N.N. Nepejvoda
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 138-147
Abstract Incompleteness Theorems and Their Influence in Methodology

Nikolai N. Nepejvoda
Studia Humana /3/4 (2012) s. 43-58