A. V. Kuznetsov

Available identifiers

zbMath Open kuznetsov.aleksander-vladimirovichMaRDI QIDQ1091382

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3807433	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3812205	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783274	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3784064	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3773848	1987-01-01	Paper
On superintuitionistic logics as fragments of proof logic extensions	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3318750	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3885738	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4128534	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4109648	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5650671	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5638269	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5623660	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5623661	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5525337	1965-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5551159	1963-01-01	Paper
Undecidability of the general problems of completeness, decidability and equivalence for propositional calculi	1963-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3268316	1958-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3268315	1958-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3226755	1955-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5796051	1950-01-01	Paper

Research outcomes over time

This page was built for person: A. V. Kuznetsov