Penchev, Vasil, Болгария
-
Том 13, № 2 (2016): Современная логика: проблемы теории, истории и применения в науке - Символическая логика и основания математики
A new reading and comparative interpretation of Gödel’s completeness (1930) and incompleteness (1931) theorems
Аннотация PDF -
Том 16, № 1-2 (2018) - Символическая логика и основания математики
The Completeness: From Henkin’s Proposition to Quantum Computer
Аннотация PDF (English)
ISSN: 2223-3954