Revisió del 22:54, 9 març 2014 modifica Ssola (discussió \| contribucions) Autopatrullats, Reversors 26.657 edits →‎Tipus de demostracions ← Edició anterior		Revisió del 23:07, 10 març 2014 modifica desfés ArnauBot (discussió \| contribucions) Bots 660.208 edits Robot estandarditza i catalanitza referències, catalanitza dates i fa altres canvis menors Edició següent →
Línia 30: {{referències\|2}} == Bibliografia == *{{~~cita libro~~ ref-llibre\| ~~apellido~~cognom=Pohlers \| ~~nombre~~nom=Wolfram \| ~~título~~títol= Proof Theory: The first setp into impredicatibility \| editorial= Springer-Verlag \| editor= \| ~~ubicación~~lloc=Berlín \| ~~año~~any=2009 \| isbn=978-3-540-69319-2 \| ~~páginas~~pàgines= 17-42 }}

Teoria de la demostració: diferència entre les revisions