@article{1457217,
      recid = {1457217},
      author = {Pudlak, Pavel.},
      title = {Logical foundations of mathematics and computational  complexity: a gentle introduction /},
      publisher = {Springer,},
      address = {New York :},
      pages = {1 online resource (xiv, 695 pages).},
      year = {2013},
      url = {http://library.usi.edu/record/1457217},
}