Rezultati
eNauka >
Rezultati >
Completeness theorem for a monadic logic with both first-order and probability quantifiers
| Naziv: | Completeness theorem for a monadic logic with both first-order and probability quantifiers | Autori: | Rašković, Miodrag; Tanović, Predrag |
Godina: | 1990 | Publikacija: | Publications de l Institut Mathematique, Beograd | ISSN: | 0350-1302 Publications de l#Institut Mathematique, Beograd Pretraži identifikator |
Izdavač: | Mathematical Institute of the SASA | Tip rezultata: | Naučni članak | Kolacija: | vol. 47 br. 61 str. 1-14 | URI: | https://enauka.gov.rs/handle/123456789/577400 http://researchrepository.mi.sanu.ac.rs/handle/123456789/3849 |
URL: | http://elib.mi.sanu.ac.rs/files/journals/publ/67/n061p001.pdf | M-kategorija: | Mp kategorija će biti prikazana naknadno. |
Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.