Mints, Grigorii "A strengthened normal form theorem for the predicate calculus" - Eesti NSV Tead. Akad. Toimetised Füüs.-Mat. 39 (1990), no.4, 313-324, 405.

Došen, Kosta

Rezultati

eNauka > Rezultati > Mints, Grigorii "A strengthened normal form theorem for the predicate calculus" - Eesti NSV Tead. Akad. Toimetised Füüs.-Mat. 39 (1990), no.4, 313-324, 405.

Naziv:	Mints, Grigorii "A strengthened normal form theorem for the predicate calculus" - Eesti NSV Tead. Akad. Toimetised Füüs.-Mat. 39 (1990), no.4, 313-324, 405.
Autori:	Došen, Kosta
Godina:	1991
Publikacija:	Mathematical Reviews
ISSN:	0025-5629 Pretraži identifikator
Izdavač:	Providence, Rhode Island : American Mathematical Society
Tip rezultata:	Informativni prilog
VBS COBISS:	521467543
URI:	https://plus.cobiss.net/cobiss/sr/sr/bib/521467543#izum.si https://enauka.gov.rs/handle/123456789/746878
M-kategorija:	Mp kategorija će biti prikazana naknadno.

Pronađi DOI

Pronalaženje DOI u servisu CrossRef-u na osnovu meta-podataka u zapisu. Prikazaće se DOI (i metapodaci) čiji se podaci najviše poklapaju. OPREZ - to ne mora biti ta publikacija.

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.