Teoria de Herbrand: historial de revisões

10 de janeiro de 2023

• atuant 17h32min17h32min de 10 de janeiro de 2023‎ Chicocvenancio discussão contribs‎ m 965 bytes −24‎ Removendo interwikis manuais desfazer Etiqueta: PAWS [2.1]

24 de agosto de 2021

• atuant 09h29min09h29min de 24 de agosto de 2021‎ Tuga1143 discussão contribs‎ m 989 bytes +35‎ Página marcada como sem fontes desfazer Etiqueta: FastButtons

13 de junho de 2018

• atuant 15h29min15h29min de 13 de junho de 2018‎ 194.210.159.132 discussão‎ 954 bytes +2‎ Corrigir erros ortográficos. desfazer Etiqueta: Editor Visual

20 de fevereiro de 2012

• atuant 03h31min03h31min de 20 de fevereiro de 2012‎ FMTbot discussão contribs‎ m 952 bytes +55‎ Checkwiki + ajustes desfazer

18 de dezembro de 2006

• atuant 16h56min16h56min de 18 de dezembro de 2006‎ 200.17.143.31 discussão‎ 897 bytes 0‎ desfazer

16 de dezembro de 2006

• atuant 21h13min21h13min de 16 de dezembro de 2006‎ Maximiliano.Guerra discussão contribs‎ 897 bytes +4‎ desfazer
• atuant 20h41min20h41min de 16 de dezembro de 2006‎ Maximiliano.Guerra discussão contribs‎ 893 bytes +2‎ desfazer
• atuant 20h41min20h41min de 16 de dezembro de 2006‎ Maximiliano.Guerra discussão contribs‎ 891 bytes +891‎ ← nova página: A ''teoria de Herbrand'' foi criada por Jacques Herbrand (1908-1931), um matemático frances. Ela constata que um conjunto de ∀-sentenças Φ é insatisfatív...