@article{RSMUP_1974__52__193_0,
     author = {Sambin, Giovanni},
     title = {Un'estensione del teorema di {L\"ob}},
     journal = {Rendiconti del Seminario Matematico della Universit\`a di Padova},
     pages = {193--199},
     publisher = {Seminario Matematico of the University of Padua},
     volume = {52},
     year = {1974},
     mrnumber = {384501},
     zbl = {0324.02019},
     language = {it},
     url = {http://www.numdam.org/item/RSMUP_1974__52__193_0/}
}