User contributions
Jump to navigation
Jump to search
- 11:07, 23 July 2021 diff hist -11 Exercícios de Dedução Natural →Dedução Natural para a Lógica de Primeira Ordem Clássica current Tag: 2017 source edit
- 11:07, 23 July 2021 diff hist -11 m Exercícios de Dedução Natural →Dedução Natural para a Lógica de Primeira Ordem Intuicionista Tag: 2017 source edit
- 11:05, 23 July 2021 diff hist -43 m Introdução Computacional à Lógica Matemática current Tag: 2017 source edit
- 11:03, 23 July 2021 diff hist +57 m Main Page current Tag: 2017 source edit
- 18:05, 30 June 2021 diff hist +1,115 Main Page Removed redirect to Logic Wiki (LoLITA) Tags: 2017 source edit Removed redirect
- 21:51, 23 August 2020 diff hist -4 Graphs with Mermaid current Tag: Visual edit
- 01:25, 23 August 2020 diff hist -1 Fundamentos Matemáticos da Computação 1 current Tag: Visual edit
- 23:46, 22 August 2020 diff hist -50 Graphs with Mermaid Tag: 2017 source edit
- 23:32, 22 August 2020 diff hist 0 N Template:Category Created blank page current
- 23:29, 22 August 2020 diff hist +19 Graphs with Mermaid
- 23:15, 22 August 2020 diff hist +58 Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 23:07, 22 August 2020 diff hist -1 Graphs with Mermaid →Result Tag: 2017 source edit
- 23:06, 22 August 2020 diff hist +32 Graphs with Mermaid →Result Tag: 2017 source edit
- 22:48, 22 August 2020 diff hist -69 Graphs with Mermaid →Result Tag: 2017 source edit
- 22:46, 22 August 2020 diff hist -12 Graphs with Mermaid Tag: 2017 source edit
- 22:35, 22 August 2020 diff hist +14 Graphs with Mermaid Tag: 2017 source edit
- 22:18, 22 August 2020 diff hist -47 Graphs with Mermaid Tag: 2017 source edit
- 22:11, 22 August 2020 diff hist +676 N Graphs with Mermaid Created page with " == Syntax == <pre> {{#mermaid:graph TD; A-->B; A-->C; B-->D; C-->D; click A "https://sandbox.semantic-mediawiki.org/wiki/A" click B "https://sandbox.semantic-m..." Tag: 2017 source edit
- 21:56, 22 August 2020 diff hist -68 Definição recursiva da linguagem proposicional Tag: 2017 source edit
- 21:49, 22 August 2020 diff hist +100 Definição recursiva da linguagem proposicional Tag: 2017 source edit