SlideShare une entreprise Scribd logo

Connections between Logic and Geometry via Term Rewriting

•
•
Ruy De Queiroz
Ruy De Queiroz

TeoCOMP-NE - Escola de Teoria da Computação – Nordeste 22, 23 e 24 de junho, transmitida pelo Campus da UFC em Quixadá 23 Jun 2021

Sciences
1  sur  74
Télécharger pour lire hors ligne
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting

Recommandé

Homotopic Foundations of the Theory of Computation
Homotopic Foundations of the Theory of ComputationHomotopic Foundations of the Theory of Computation
Homotopic Foundations of the Theory of ComputationRuy De Queiroz
 
What formal equalities between rewriting paths have in common with homotopies...
What formal equalities between rewriting paths have in common with homotopies...What formal equalities between rewriting paths have in common with homotopies...
What formal equalities between rewriting paths have in common with homotopies...Ruy De Queiroz
 
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term RewritingRuy De Queiroz
 
Law and Legal uses for blockchain technologies
Law and Legal uses for blockchain technologiesLaw and Legal uses for blockchain technologies
Law and Legal uses for blockchain technologiesRuy De Queiroz
 
Criptografia como aliado
Criptografia como aliadoCriptografia como aliado
Criptografia como aliadoRuy De Queiroz
 
Privacidade, Segurança, Identidade
Privacidade, Segurança, IdentidadePrivacidade, Segurança, Identidade
Privacidade, Segurança, IdentidadeRuy De Queiroz
 
From Tractatus to Later Writings and Back
From Tractatus to Later Writings and BackFrom Tractatus to Later Writings and Back
From Tractatus to Later Writings and BackRuy De Queiroz
 
Desafios na Interseção entre Direito e Tecnologia
Desafios na Interseção entre Direito e TecnologiaDesafios na Interseção entre Direito e Tecnologia
Desafios na Interseção entre Direito e TecnologiaRuy De Queiroz
 

Recommandé

Homotopic Foundations of the Theory of Computation
Homotopic Foundations of the Theory of ComputationHomotopic Foundations of the Theory of Computation
Homotopic Foundations of the Theory of ComputationRuy De Queiroz
 
What formal equalities between rewriting paths have in common with homotopies...
What formal equalities between rewriting paths have in common with homotopies...What formal equalities between rewriting paths have in common with homotopies...
What formal equalities between rewriting paths have in common with homotopies...Ruy De Queiroz
 
Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term Rewriting Connections between Logic and Geometry via Term Rewriting
Connections between Logic and Geometry via Term RewritingRuy De Queiroz
 
Law and Legal uses for blockchain technologies
Law and Legal uses for blockchain technologiesLaw and Legal uses for blockchain technologies
Law and Legal uses for blockchain technologiesRuy De Queiroz
 
Criptografia como aliado
Criptografia como aliadoCriptografia como aliado
Criptografia como aliadoRuy De Queiroz
 
Privacidade, Segurança, Identidade
Privacidade, Segurança, IdentidadePrivacidade, Segurança, Identidade
Privacidade, Segurança, IdentidadeRuy De Queiroz
 
From Tractatus to Later Writings and Back
From Tractatus to Later Writings and BackFrom Tractatus to Later Writings and Back
From Tractatus to Later Writings and BackRuy De Queiroz
 
Desafios na Interseção entre Direito e Tecnologia
Desafios na Interseção entre Direito e TecnologiaDesafios na Interseção entre Direito e Tecnologia
Desafios na Interseção entre Direito e TecnologiaRuy De Queiroz
 
Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)
Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)
Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)Ruy De Queiroz
 
Consensus in Permissionless Decentralized Networks
Consensus in Permissionless Decentralized NetworksConsensus in Permissionless Decentralized Networks
Consensus in Permissionless Decentralized NetworksRuy De Queiroz
 
Linguagem, Lógica e a Natureza da Matemática
Linguagem, Lógica e a Natureza da MatemáticaLinguagem, Lógica e a Natureza da Matemática
Linguagem, Lógica e a Natureza da MatemáticaRuy De Queiroz
 
Computational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental Groups Computational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental GroupsRuy De Queiroz
 
Computational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental GroupsComputational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental GroupsRuy De Queiroz
 
Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)
Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)
Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)Ruy De Queiroz
 
Cibersegurança na Internet das Coisas
Cibersegurança na Internet das CoisasCibersegurança na Internet das Coisas
Cibersegurança na Internet das CoisasRuy De Queiroz
 
Capitalismo de Vigilância e Proteção de Dados Pessoais
Capitalismo de Vigilância e Proteção de Dados PessoaisCapitalismo de Vigilância e Proteção de Dados Pessoais
Capitalismo de Vigilância e Proteção de Dados PessoaisRuy De Queiroz
 
Computations, Paths, Types and Proofs
Computations, Paths, Types and ProofsComputations, Paths, Types and Proofs
Computations, Paths, Types and ProofsRuy De Queiroz
 
Computation, Paths, Types and Proofs
Computation, Paths, Types and ProofsComputation, Paths, Types and Proofs
Computation, Paths, Types and ProofsRuy De Queiroz
 
Privacidade e Proteção de Dados Pessoais
Privacidade e Proteção de Dados PessoaisPrivacidade e Proteção de Dados Pessoais
Privacidade e Proteção de Dados PessoaisRuy De Queiroz
 
Fake News, Deep Fakes, e seus efeitos sobre a Democracia
Fake News, Deep Fakes, e seus efeitos sobre a DemocraciaFake News, Deep Fakes, e seus efeitos sobre a Democracia
Fake News, Deep Fakes, e seus efeitos sobre a DemocraciaRuy De Queiroz
 
Computational Paths in Type Theory
Computational Paths in Type TheoryComputational Paths in Type Theory
Computational Paths in Type TheoryRuy De Queiroz
 
Tecnologia e O Ritmo de Evolução
Tecnologia e O Ritmo de EvoluçãoTecnologia e O Ritmo de Evolução
Tecnologia e O Ritmo de EvoluçãoRuy De Queiroz
 
Propositional equality, identity types, and computational paths
Propositional equality, identity types, and computational pathsPropositional equality, identity types, and computational paths
Propositional equality, identity types, and computational pathsRuy De Queiroz
 
O Papel da Criptografia Moderna na Proteção às Garantias Individuais
O Papel da Criptografia Moderna na Proteção às Garantias IndividuaisO Papel da Criptografia Moderna na Proteção às Garantias Individuais
O Papel da Criptografia Moderna na Proteção às Garantias IndividuaisRuy De Queiroz
 
Linguagem, lógica e a natureza da matemática
Linguagem, lógica e a natureza da matemáticaLinguagem, lógica e a natureza da matemática
Linguagem, lógica e a natureza da matemáticaRuy De Queiroz
 
Inovação e Regulação 2.0
Inovação e Regulação 2.0Inovação e Regulação 2.0
Inovação e Regulação 2.0Ruy De Queiroz
 
Propositional Equality, Identity Types and Computational Paths
Propositional Equality, Identity Types and Computational PathsPropositional Equality, Identity Types and Computational Paths
Propositional Equality, Identity Types and Computational PathsRuy De Queiroz
 
A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...
A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...
A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...Ruy De Queiroz
 
Apresentação sobre o cientista linus pauling.pptx
Apresentação sobre o cientista linus pauling.pptxApresentação sobre o cientista linus pauling.pptx
Apresentação sobre o cientista linus pauling.pptxTatianaMalcher
 
NEUROCIENCIA I (1).ppt aula explicativa 1
NEUROCIENCIA I (1).ppt aula explicativa 1NEUROCIENCIA I (1).ppt aula explicativa 1
NEUROCIENCIA I (1).ppt aula explicativa 1conselhosade2
 

Contenu connexe

Plus de Ruy De Queiroz

Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)
Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)
Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)Ruy De Queiroz
 
Consensus in Permissionless Decentralized Networks
Consensus in Permissionless Decentralized NetworksConsensus in Permissionless Decentralized Networks
Consensus in Permissionless Decentralized NetworksRuy De Queiroz
 
Linguagem, Lógica e a Natureza da Matemática
Linguagem, Lógica e a Natureza da MatemáticaLinguagem, Lógica e a Natureza da Matemática
Linguagem, Lógica e a Natureza da MatemáticaRuy De Queiroz
 
Computational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental Groups Computational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental GroupsRuy De Queiroz
 
Computational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental GroupsComputational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental GroupsRuy De Queiroz
 
Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)
Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)
Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)Ruy De Queiroz
 
Cibersegurança na Internet das Coisas
Cibersegurança na Internet das CoisasCibersegurança na Internet das Coisas
Cibersegurança na Internet das CoisasRuy De Queiroz
 
Capitalismo de Vigilância e Proteção de Dados Pessoais
Capitalismo de Vigilância e Proteção de Dados PessoaisCapitalismo de Vigilância e Proteção de Dados Pessoais
Capitalismo de Vigilância e Proteção de Dados PessoaisRuy De Queiroz
 
Computations, Paths, Types and Proofs
Computations, Paths, Types and ProofsComputations, Paths, Types and Proofs
Computations, Paths, Types and ProofsRuy De Queiroz
 
Computation, Paths, Types and Proofs
Computation, Paths, Types and ProofsComputation, Paths, Types and Proofs
Computation, Paths, Types and ProofsRuy De Queiroz
 
Privacidade e Proteção de Dados Pessoais
Privacidade e Proteção de Dados PessoaisPrivacidade e Proteção de Dados Pessoais
Privacidade e Proteção de Dados PessoaisRuy De Queiroz
 
Fake News, Deep Fakes, e seus efeitos sobre a Democracia
Fake News, Deep Fakes, e seus efeitos sobre a DemocraciaFake News, Deep Fakes, e seus efeitos sobre a Democracia
Fake News, Deep Fakes, e seus efeitos sobre a DemocraciaRuy De Queiroz
 
Computational Paths in Type Theory
Computational Paths in Type TheoryComputational Paths in Type Theory
Computational Paths in Type TheoryRuy De Queiroz
 
Tecnologia e O Ritmo de Evolução
Tecnologia e O Ritmo de EvoluçãoTecnologia e O Ritmo de Evolução
Tecnologia e O Ritmo de EvoluçãoRuy De Queiroz
 
Propositional equality, identity types, and computational paths
Propositional equality, identity types, and computational pathsPropositional equality, identity types, and computational paths
Propositional equality, identity types, and computational pathsRuy De Queiroz
 
O Papel da Criptografia Moderna na Proteção às Garantias Individuais
O Papel da Criptografia Moderna na Proteção às Garantias IndividuaisO Papel da Criptografia Moderna na Proteção às Garantias Individuais
O Papel da Criptografia Moderna na Proteção às Garantias IndividuaisRuy De Queiroz
 
Linguagem, lógica e a natureza da matemática
Linguagem, lógica e a natureza da matemáticaLinguagem, lógica e a natureza da matemática
Linguagem, lógica e a natureza da matemáticaRuy De Queiroz
 
Inovação e Regulação 2.0
Inovação e Regulação 2.0Inovação e Regulação 2.0
Inovação e Regulação 2.0Ruy De Queiroz
 
Propositional Equality, Identity Types and Computational Paths
Propositional Equality, Identity Types and Computational PathsPropositional Equality, Identity Types and Computational Paths
Propositional Equality, Identity Types and Computational PathsRuy De Queiroz
 
A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...
A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...
A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...Ruy De Queiroz
 

Plus de Ruy De Queiroz (20)

Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)
Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)
Teoria da Computação: Histórias e Perspectivas, (TeoComp-NE)
 
Consensus in Permissionless Decentralized Networks
Consensus in Permissionless Decentralized NetworksConsensus in Permissionless Decentralized Networks
Consensus in Permissionless Decentralized Networks
 
Linguagem, Lógica e a Natureza da Matemática
Linguagem, Lógica e a Natureza da MatemáticaLinguagem, Lógica e a Natureza da Matemática
Linguagem, Lógica e a Natureza da Matemática
 
Computational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental Groups Computational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental Groups
 
Computational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental GroupsComputational Paths and the Calculation of Fundamental Groups
Computational Paths and the Calculation of Fundamental Groups
 
Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)
Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)
Criptografia Moderna - Visita do SRBR (Samsung Research do Brasil)
 
Cibersegurança na Internet das Coisas
Cibersegurança na Internet das CoisasCibersegurança na Internet das Coisas
Cibersegurança na Internet das Coisas
 
Capitalismo de Vigilância e Proteção de Dados Pessoais
Capitalismo de Vigilância e Proteção de Dados PessoaisCapitalismo de Vigilância e Proteção de Dados Pessoais
Capitalismo de Vigilância e Proteção de Dados Pessoais
 
Computations, Paths, Types and Proofs
Computations, Paths, Types and ProofsComputations, Paths, Types and Proofs
Computations, Paths, Types and Proofs
 
Computation, Paths, Types and Proofs
Computation, Paths, Types and ProofsComputation, Paths, Types and Proofs
Computation, Paths, Types and Proofs
 
Privacidade e Proteção de Dados Pessoais
Privacidade e Proteção de Dados PessoaisPrivacidade e Proteção de Dados Pessoais
Privacidade e Proteção de Dados Pessoais
 
Fake News, Deep Fakes, e seus efeitos sobre a Democracia
Fake News, Deep Fakes, e seus efeitos sobre a DemocraciaFake News, Deep Fakes, e seus efeitos sobre a Democracia
Fake News, Deep Fakes, e seus efeitos sobre a Democracia
 
Computational Paths in Type Theory
Computational Paths in Type TheoryComputational Paths in Type Theory
Computational Paths in Type Theory
 
Tecnologia e O Ritmo de Evolução
Tecnologia e O Ritmo de EvoluçãoTecnologia e O Ritmo de Evolução
Tecnologia e O Ritmo de Evolução
 
Propositional equality, identity types, and computational paths
Propositional equality, identity types, and computational pathsPropositional equality, identity types, and computational paths
Propositional equality, identity types, and computational paths
 
O Papel da Criptografia Moderna na Proteção às Garantias Individuais
O Papel da Criptografia Moderna na Proteção às Garantias IndividuaisO Papel da Criptografia Moderna na Proteção às Garantias Individuais
O Papel da Criptografia Moderna na Proteção às Garantias Individuais
 
Linguagem, lógica e a natureza da matemática
Linguagem, lógica e a natureza da matemáticaLinguagem, lógica e a natureza da matemática
Linguagem, lógica e a natureza da matemática
 
Inovação e Regulação 2.0
Inovação e Regulação 2.0Inovação e Regulação 2.0
Inovação e Regulação 2.0
 
Propositional Equality, Identity Types and Computational Paths
Propositional Equality, Identity Types and Computational PathsPropositional Equality, Identity Types and Computational Paths
Propositional Equality, Identity Types and Computational Paths
 
A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...
A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...
A Reconfiguração do Jornalismo Investigativo e a Influência do Hacktivismo, d...
 

Dernier

Apresentação sobre o cientista linus pauling.pptx
Apresentação sobre o cientista linus pauling.pptxApresentação sobre o cientista linus pauling.pptx
Apresentação sobre o cientista linus pauling.pptxTatianaMalcher
 
NEUROCIENCIA I (1).ppt aula explicativa 1
NEUROCIENCIA I (1).ppt aula explicativa 1NEUROCIENCIA I (1).ppt aula explicativa 1
NEUROCIENCIA I (1).ppt aula explicativa 1conselhosade2
 
Historia da Agricultura Agronomia 2017.pptx
Historia da Agricultura Agronomia 2017.pptxHistoria da Agricultura Agronomia 2017.pptx
Historia da Agricultura Agronomia 2017.pptxCarlosMelo486412
 
Bilhete de Identidade sobre o Tungsténio.pptx
Bilhete de Identidade sobre o Tungsténio.pptxBilhete de Identidade sobre o Tungsténio.pptx
Bilhete de Identidade sobre o Tungsténio.pptxSusanaRangel12
 
FOUCAULT, Michel. A coragem da verdade.pdf
FOUCAULT, Michel. A coragem da verdade.pdfFOUCAULT, Michel. A coragem da verdade.pdf
FOUCAULT, Michel. A coragem da verdade.pdfRobertoLopes438472
 
Estudo Dirigido Sistema Cardiovascular - 8°.docx
Estudo Dirigido Sistema Cardiovascular - 8°.docxEstudo Dirigido Sistema Cardiovascular - 8°.docx
Estudo Dirigido Sistema Cardiovascular - 8°.docxDanielaMayraArajoOli1
 

Dernier (6)

Apresentação sobre o cientista linus pauling.pptx
Apresentação sobre o cientista linus pauling.pptxApresentação sobre o cientista linus pauling.pptx
Apresentação sobre o cientista linus pauling.pptx
 
NEUROCIENCIA I (1).ppt aula explicativa 1
NEUROCIENCIA I (1).ppt aula explicativa 1NEUROCIENCIA I (1).ppt aula explicativa 1
NEUROCIENCIA I (1).ppt aula explicativa 1
 
Historia da Agricultura Agronomia 2017.pptx
Historia da Agricultura Agronomia 2017.pptxHistoria da Agricultura Agronomia 2017.pptx
Historia da Agricultura Agronomia 2017.pptx
 
Bilhete de Identidade sobre o Tungsténio.pptx
Bilhete de Identidade sobre o Tungsténio.pptxBilhete de Identidade sobre o Tungsténio.pptx
Bilhete de Identidade sobre o Tungsténio.pptx
 
FOUCAULT, Michel. A coragem da verdade.pdf
FOUCAULT, Michel. A coragem da verdade.pdfFOUCAULT, Michel. A coragem da verdade.pdf
FOUCAULT, Michel. A coragem da verdade.pdf
 
Estudo Dirigido Sistema Cardiovascular - 8°.docx
Estudo Dirigido Sistema Cardiovascular - 8°.docxEstudo Dirigido Sistema Cardiovascular - 8°.docx
Estudo Dirigido Sistema Cardiovascular - 8°.docx