Teoreticheskie primenenii︠a︡ metodov matematicheskoĭ logiki
Teoreticheskie primenenii︠a︡ metodov matematicheskoĭ logiki
D. Yu Grigoriev, V. P. Orevkov, S. I︠U︡ Maslov, G. E. Mint͡s, Matematicheskiĭ institut im. V.A. Steklova. Leningradskoe otdelenie
Details
- OL Work ID
- OL42588295W
Subjects
Symbolic and mathematical LogicCongresses