Rezultati

eNauka >  Rezultati >  Artëmov, S. N. "Nonarithmeticity of truth predicate logics of provability" - Dokl. Akad. Nauk SSSR 284 (1985), no.2, 270-271.
Naziv: Artëmov, S. N. "Nonarithmeticity of truth predicate logics of provability" - Dokl. Akad. Nauk SSSR 284 (1985), no.2, 270-271.
Autori: Došen, Kosta  
Godina: 1987
Publikacija: Mathematical Reviews
ISSN: 0025-5629 Pretraži identifikator
Izdavač: Providence, Rhode Island : American Mathematical Society
Tip rezultata: Informativni prilog
VBS COBISS: 521451927
URI: https://plus.cobiss.net/cobiss/sr/sr/bib/521451927#izum.si
https://enauka.gov.rs/handle/123456789/746852
M-kategorija: 
Mp kategorija će biti prikazana naknadno.

Pronađi DOI

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