|
This article is cited in 5 scientific papers (total in 6 papers)
Least fixed points in the Gödel-Löb logic
S. I. Mardaev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
Received: 01.06.1993
Citation:
S. I. Mardaev, “Least fixed points in the Gödel-Löb logic”, Algebra Logika, 32:6 (1993), 683–689
Linking options:
https://www.mathnet.ru/eng/al2252 https://www.mathnet.ru/eng/al/v32/i6/p683
|
Statistics & downloads: |
Abstract page: | 44 | Full-text PDF : | 18 | References: | 1 |
|