DBLP Record 'journals/ijfcs/Szwast95'

BibTeX

@article{DBLP:journals/ijfcs/Szwast95,
  author    = {Wieslaw Szwast},
  title     = {A Note on the Asymptotic Probabilities of Existential Second-Order
               Minimal G{\"o}del Sentences with Equality},
  journal   = {Int. J. Found. Comput. Sci.},
  volume    = {6},
  number    = {4},
  year      = {1995},
  pages     = {339-351},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}