Histórico

Artigo Discussão

Semântica Prova-Teórica

21 de maio de 2019

InternetArchiveBot
Resgatando 1 fontes e marcando 0 como inativas. #IABot (v2.0beta14)
16h37min
+43

15 de junho de 2017

Tuga1143
v1.42 - Corrigido usando WP:PCW (Predefinição contém a palavra "predefinição")
m
17h00min
−15

21 de novembro de 2015

84.152.227.2
→‎Referencias
18h10min
+185

1 de agosto de 2015

31 de julho de 2015

César Bulhões
Criado ao traduzir a página "Proof-theoretic semantics"
23h21min
+2 911

Obtida de "https://pt.wikipedia.org/wiki/Especial:History/Semântica_Prova-Teórica"