Revisió del 01:48, 20 des 2012 modifica Columbensis (discussió \| contribucions) 47 edits m →‎El Hauptsatz de Gentzen ← Edició anterior		Revisió del 08:38, 20 des 2012 modifica desfés Paucabot (discussió \| contribucions) Buròcrates, Administradors 968.172 edits m Afegida Categoria:Lògica matemàtica usant HotCat Edició següent →
Línia 33: [[Categoria:Fonaments de la matemàtica]] [[Categoria:Lògica matemàtica]] [[ar:نظرية البرهان]]

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