wybierz styl...
apa
harvard
chicago-fullnote-bibliography
ISO-690
Metadane (Dublin Core)
dc.contributor.author
Kostrzycka, Zofia
pl
dc.contributor.author
Zaionc, Marek [SAP11009271]
pl
dc.date.accessioned
2019-10-31T11:49:30Z
dc.date.available
2019-10-31T11:49:30Z
dc.date.issued
2008
pl
dc.identifier.issn
0039-3215
pl
dc.identifier.uri
https://ruj.uj.edu.pl/xmlui/handle/item/86217
dc.language
eng
pl
dc.rights
Dodaję tylko opis bibliograficzny
*
dc.rights.uri
*
dc.title
Asymptotic densities in logic and type theory
pl
dc.type
JournalArticle
pl
dc.description.physical
385-403
pl
dc.subject.en
propositional logic
pl
dc.subject.en
asymptotic density of tautologies
pl
dc.subject.en
probabilistic methods in logic and type theory
pl
dc.description.volume
88
pl
dc.description.number
3
pl
dc.identifier.doi
10.1007/s11225-008-9110-0
pl
dc.identifier.eissn
1572-8730
pl
dc.title.journal
Studia Logica
pl
dc.language.container
eng
pl
dc.affiliation
Wydział Matematyki i Informatyki : Instytut Informatyki
pl
dc.subtype
Article
pl
dc.rights.original
bez licencji
pl
dc.identifier.project
ROD UJ / O
pl