1. A bilateral Hilbert-style investigation of 2-intuitionistic logic

    Drobyshevich, S., 1 Sept 2019, In: Journal of logic and computation. 29, 5, p. 665-692 28 p.

    Research output: Contribution to journalArticlepeer-review

  2. (2, 3)-Generated Groups with Small Element Orders

    Yang, N. & Mamontov, A. S., Jul 2021, In: Algebra and Logic. 60, 3, p. 217-222 6 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1...29 30 31 32 33 Next

ID: 3082938