Constructive mathematics and mathematical logic. Part X. Transl. from the Russian
From MaRDI portal
Publication:1578747
zbMath0944.00012MaRDI QIDQ1578747
No author found.
Publication date: 5 September 2000
Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)
Full work available at URL: https://rd.springer.com/journal/10958/98/4/page/1
00B15: Collections of articles of miscellaneous specific interest
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
Cites Work