logica-l

Índice cronológico

2022/08/29 [Logica-l] Fwd: [Jobs] Open PhD Researcher Position on Dynamic Contextual Knowledge Graphs for Robotics at CITEC, Bielefeld University Camilo Thorne
2022/08/28 Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática) Joao Marcos
2022/08/25 [Logica-l] Fwd: categories: 2023 Joint Mathematical Meetings Valeria de Paiva
2022/08/24 [Logica-l] The Exoteric Square of Opposition jean-yves beziau
2022/08/21 Re: [Logica-l] Uma solução para dois problema abertos: "Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account " Joao Marcos
2022/08/21 [Logica-l] Uma solução para dois problema abertos: "Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account " Walter Carnielli
2022/08/21 Re: [Logica-l] Lógica Viva: "As fálácias contra as urnas eletrônicas" Elaine Pimentel
2022/08/20 Re: [Logica-l] Lógica Viva: "As fálácias contra as urnas eletrônicas" Itala Maria Loffredo D'Ottaviano
2022/08/20 [Logica-l] Lógica Viva: "As fálácias contra as urnas eletrônicas" Marcos Silva
2022/08/20 [Logica-l] Fwd: [DL] Assistant Professor position in "Logic in AI" at VU Amsterdam Camilo Thorne
2022/08/19 [Logica-l] Programação Provisória do EBL 'Samuel Gomes da Silva' via LOGICA-L
2022/08/18 [Logica-l] Fwd: CFP CLMST 2023 - 17th CONGRESS ON LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY Aldo Figallo-Orellano
2022/08/18 Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática) Joao Marcos
2022/08/18 Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática) Joao Marcos
2022/08/18 Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática) Joao Marcos
2022/08/17 [Logica-l] MODELOS MATEMÁTICOS EM TEOLOGIA: Eles são úteis? LARAW quinta 18/08 às 11h de Brasília jean-yves beziau
2022/08/17 Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática) Hugo Luiz Mariano
2022/08/17 [Logica-l] Postdoc wanted-New Zealand Walter Carnielli
2022/08/17 [Logica-l] Postdoc in (paraconsistent) logic, three years full time in New Zealand Joao Marcos
2022/08/16 Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática) 'samuel' via LOGICA-L
2022/08/16 Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática) 'samuel' via LOGICA-L
2022/08/16 Re: [Logica-l] Prêmio CAPES de tese 2022 'samuel' via LOGICA-L
2022/08/16 Re: [Logica-l] Prêmio CAPES de tese 2022 Anderson Nakano
2022/08/15 [Logica-l] Call for Applications: 100 grants - “Sao Paulo School of Advanced Science on Contemporary Logic, Rationality and Information”, February 2023 at CLE/Unicamp, Brazil Walter Carnielli
2022/08/15 Re: [Logica-l] Prêmio CAPES de tese 2022 Evandro L. Gomes
2022/08/15 [Logica-l] Re: Prêmio CAPES de tese 2022 Ederson Safra Melo
2022/08/14 [Logica-l] Fwd: Postdoc or PhD position TU Vienna: universal algebra, model theory, Joao Marcos
2022/08/14 [Logica-l] Re: Prêmio CAPES de tese 2022 'Ciro Russo' via LOGICA-L
2022/08/13 Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática) Itala Maria Loffredo D'Ottaviano
2022/08/13 Re: [Logica-l] Prêmio CAPES de tese 2022 Itala Maria Loffredo D'Ottaviano
2022/08/13 Re: [Logica-l] Prêmio CAPES de tese 2022 Evelyn E.
2022/08/13 Re: [Logica-l] Prêmio CAPES de tese 2022 Marcos Silva
2022/08/13 Re: [Logica-l] Prêmio CAPES de tese 2022 Jefferson Siqueira Silva
2022/08/13 Re: [Logica-l] Prêmio CAPES de tese 2022 Cassiano Terra Rodrigues
2022/08/13 Re: [Logica-l] Prêmio CAPES de tese 2022 Maria Martinez-Ordaz
2022/08/12 Re: [Logica-l] Prêmio CAPES de tese 2022 Walter Carnielli
2022/08/12 Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática) Walter Carnielli
2022/08/12 Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática) Valeria de Paiva
2022/08/12 Re: [Logica-l] Prêmio CAPES de tese 2022 Jonas Becker
2022/08/12 Re: [Logica-l] Prêmio CAPES de tese 2022 Valeria de Paiva
2022/08/12 [Logica-l] Natural Deduction for Quantum Logic, Kenji Tokuo, disponível agora na plataforma Cassyni jean-yves beziau
2022/08/12 Re: [Logica-l] Prêmio CAPES de tese 2022 Thiago Nascimento da Silva
2022/08/12 Re: [Logica-l] Prêmio CAPES de tese 2022 C. Mortari
2022/08/12 Re: [Logica-l] Prêmio CAPES de tese 2022 Elaine Pimentel
2022/08/12 Re: [Logica-l] Prêmio CAPES de tese 2022 Marcelo Esteban Coniglio
2022/08/12 Re: [Logica-l] Prêmio CAPES de tese 2022 Itala Maria Loffredo D'Ottaviano
2022/08/12 Re: [Logica-l] Prêmio CAPES de tese 2022 Abilio Rodrigues Filho
2022/08/12 Re: [Logica-l] Prêmio CAPES de tese 2022 Elaine Pimentel
2022/08/12 [Logica-l] Prêmio CAPES de tese 2022 Joao Marcos
2022/08/11 [Logica-l] [OFF?] SBL lê a Carta em Defesa do Estado Democrático de Direito Joao Marcos
2022/08/11 [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática) 'Samuel Gomes da Silva' via LOGICA-L
2022/08/10 [Logica-l] Fwd: SBL lê a Carta em Defesa do Estado Democrático de Direito! Joao Marcos
2022/08/10 [Logica-l] Chamada de artigos - Peirce e a lógica. Cassiano Terra Rodrigues
2022/08/09 [Logica-l] Fwd: REMINDER: Five free logic books! Joao Marcos
2022/08/09 [Logica-l] Prêmio Newton da Costa 2022 Elaine Pimentel
2022/08/08 [Logica-l] Natural Deduction for Quantum Logic - LUW August 10 at 4pm CET jean-yves beziau
2022/08/08 [Logica-l] Divulgacao evento online Alexandre Rademaker
2022/08/08 [Logica-l] Livro recente, Zach Weber, "Paraconsistency in Mathematics", disponível até 08/08 Walter Carnielli
2022/08/04 [Logica-l] Mini série de vídeos "Logic of Paradise". Maria Martinez-Ordaz
2022/08/02 [Logica-l] Logica Universalis Webinar on Cassyni jean-yves beziau
2022/08/01 [Logica-l] An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi jean-yves beziau
2022/07/31 [Logica-l] Frege’s Ontological Diagram Completed / David Makinson jean-yves beziau
2022/07/29 Re: [Logica-l] LogicaMx novo vídeo: Fabio Bertato sobre Itala D'Ottaviano Walter Carnielli
2022/07/28 [Logica-l] Fwd: Diagrams 2022 Call for Participation Jorge Petrucio Viana
2022/07/27 Re: [Logica-l] LogicaMx novo vídeo: Fabio Bertato sobre Itala D'Ottaviano Itala Maria Loffredo D'Ottaviano
2022/07/27 [Logica-l] Deadline for Paradise approaching: July 31st jean-yves beziau
2022/07/26 Re: [Logica-l] Jantar da Conferência (por adesão) - XX EBL em Salvador - Quarta, 14 de setembro, às 20hs Itala Maria Loffredo D'Ottaviano
2022/07/26 [Logica-l] Lógica do paraíso --video serie Caroline Ting Maria Martinez-Ordaz
2022/07/26 Re: [Logica-l] Jantar da Conferência (por adesão) - XX EBL em Salvador - Quarta, 14 de setembro, às 20hs Joao Marcos
2022/07/26 [Logica-l] Jantar da Conferência (por adesão) - XX EBL em Salvador - Quarta, 14 de setembro, às 20hs 'Samuel Gomes da Silva' via LOGICA-L
2022/07/26 [Logica-l] Hoje, mesa redonda da SBL na 74a reunião da SBPC Cassiano Terra Rodrigues
2022/07/26 [Logica-l] LogicaMx novo vídeo: Fabio Bertato sobre Itala D'Ottaviano Maria Martinez-Ordaz
2022/07/25 [Logica-l] Prorrogação do Early Bird (até 31/07) - XX EBL, Salvador 'Samuel Gomes da Silva' via LOGICA-L
2022/07/22 [Logica-l] Fwd: HPS&ST July Newsletter Valeria de Paiva
2022/07/19 [Logica-l] Albergue a 50 reais para os estudantes interessados - XX EBL, Salvador 'Samuel Gomes da Silva' via LOGICA-L
2022/07/16 Re: [Logica-l] dia 16 às 7h45: Ambiguous Symmetry: The Typical Case of Human Beings Julio Stern
2022/07/15 [Logica-l] dia 16 às 7h45: Ambiguous Symmetry: The Typical Case of Human Beings jean-yves beziau
2022/07/14 [Logica-l] Two PhD positions and one postdoc position in philosophical logic at KU Leuven (Belgium) jean-yves beziau
2022/07/13 [Logica-l] Ex-Incompatibilione Sequitur Quodlibet jean-yves beziau
2022/07/12 [Logica-l] Axiomatization of Some Basic and Modal Boolean Connexive Logics jean-yves beziau
2022/07/11 [Logica-l] Parables and Brains - Andrew Pinsent (Oxford University) / agora disponível no canal YouTube da LARA jean-yves beziau
2022/07/08 [Logica-l] Open access edition of the logical writings of Karl Popper Elaine Pimentel
2022/07/07 [Logica-l] CfP - Logic of Paradise - Varanasi, India jean-yves beziau
2022/07/07 [Logica-l] Call for papers, special issue of the Logic Journal of IGPL, Non-classical Modal and Predicate Logics 'Heinrich Wansing' via LOGICA-L
2022/07/05 [Logica-l] Parables and Brains: The Logic and Religion Webinar, July 7 jean-yves beziau
2022/07/05 [Logica-l] Deadline extension, special issue "Frontiers of connexive logic", Journal: Studia Logica 'Heinrich Wansing' via LOGICA-L
2022/07/04 [Logica-l] LUW July 6: Unification in Pretabular Extensions of S4 jean-yves beziau
2022/07/04 [Logica-l] LUW July 6: Unification in Pretabular Extensions of S4 jean-yves beziau
2022/07/03 [Logica-l] Re: Teoría de Modelos Multivaluados Aldo Figallo-Orellano
2022/07/03 [Logica-l] Teoría de Modelos Multivaluados Aldo Figallo-Orellano
2022/07/02 [Logica-l] [Off Topic] Processo Seletivo para a Contratação Emergencial de Professor Doutor na Área de Engenharia de Computação - FEEC - Unicamp Marcelo Esteban Coniglio
2022/06/29 [Logica-l] programa do MFPS 2022 disponivel Valeria de Paiva
2022/06/29 [Logica-l] CSL 2023 -- Final cfp Elaine Pimentel
2022/06/28 [Logica-l] How images can be used to develop philosophical understanding, talk June 29 at 5pm CET jean-yves beziau
2022/06/27 [Logica-l] numero especial SAJL Andrea Loparic - Deadline: primeiro de julho jean-yves beziau
2022/06/25 [Logica-l] Fwd: Postdoctoral position (3y) in contradictory logics, Bochum (Germany), Deadline: 15 Jul 2022 Joao Marcos
2022/06/23 Re: [Logica-l] Plataformas Chagas e Lattes, infernos virtuais... Itala Maria Loffredo D'Ottaviano
2022/06/23 [Logica-l] Plataformas Chagas e Lattes, infernos virtuais... Walter Carnielli
2022/06/21 [Logica-l] [CFP-SI] QM and Reality (Theoria-Madrid) Raoni Arroyo
2022/06/20 Re: [Logica-l] SI - Logics and Their Interpretations I Henrique Antunes
2022/06/19 [Logica-l] Overleaf - opção para preencher o template EBL online 'Samuel Gomes da Silva' via LOGICA-L
2022/06/17 [Logica-l] Filme sobre a vida do matemático polonês Stanislaw Ulam 'Paulo Sérgio Dias' via LOGICA-L
2022/06/17 [Logica-l] Filme sobre a vida do matemático polonês Stanislaw Ulam Paulo Sérgio Dias
2022/06/16 [Logica-l] Artigo recente no Journal of Philosophical Logic: Walter Carnielli
2022/06/15 [Logica-l] Lançamento de livros no EBL 'Samuel Gomes' via LOGICA-L
2022/06/15 [Logica-l] Re: XX EBL - Deadline extended 'Samuel Gomes' via LOGICA-L
2022/06/14 [Logica-l] Homo Logicus IV jean-yves beziau
2022/06/13 [Logica-l] Logic in Question / Couturat by Anne-Françoise Schmid / LUW June 15 at 4pm CET jean-yves beziau
2022/06/13 [Logica-l] WiL 2022 - Call for Participation Daniele Nantes
2022/06/13 Re: [Logica-l] SI - Logics and Their Interpretations I Walter Carnielli
2022/06/13 [Logica-l] SI - Logics and Their Interpretations I Henrique Antunes
2022/06/12 [Logica-l] CSL 2023 -- 2nd cfp Elaine Pimentel
2022/06/10 Re: [Logica-l] Lógica possibilística Walter Carnielli
2022/06/10 Re: [Logica-l] Lógica possibilística Daniel Diniz
2022/06/10 [Logica-l] 9th International Symposium of Domain Theory and its Applications (ISDT’22) Claudio Callejas
2022/06/09 Re: [Logica-l] Angell Magri para LogicaMX Itala Maria Loffredo D'Ottaviano
2022/06/09 Re: [Logica-l] Angell Magri para LogicaMX Elaine Pimentel
2022/06/09 [Logica-l] Angell Magri para LogicaMX Maria Martinez-Ordaz
2022/06/08 [Logica-l] 7/6/1954 – Perseguido por ser homossexual, Turing comete suicídio Marcos Silva
2022/06/07 [Logica-l] Fwd: [diagrams-list] DEADLINE EXTENDED for Graduate Symposium | DIAGRAMS 202 Jorge Petrucio Viana
2022/06/07 [Logica-l] precisando de ajuda para escrever mais um paper? Joao Marcos
2022/06/07 Re: [Logica-l] Re: sobre as capacidades matemáticas dos (outros) animais Joao Marcos
2022/06/07 Re: [Logica-l] Re: sobre as capacidades matemáticas dos (outros) animais Tiago de Lima
2022/06/07 Re: [Logica-l] Re: sobre as capacidades matemáticas dos (outros) animais Juan F. Meleiro
2022/06/06 [Logica-l] Re: sobre as capacidades matemáticas dos (outros) animais 'samuel' via LOGICA-L
2022/06/06 [Logica-l] Re: sobre as capacidades matemáticas dos (outros) animais Joao Marcos
2022/06/06 [Logica-l] Animal Reasoning, Nature, volume 23, page 219 (1881) jean-yves beziau
2022/06/06 [Logica-l] Re: sobre as capacidades matemáticas dos (outros) animais 'samuel' via LOGICA-L
2022/06/06 [Logica-l] Re: sobre as capacidades matemáticas dos (outros) animais Joao Marcos
2022/06/06 [Logica-l] Re: Semântica de jogos pra lógica básica bruno.ramos.mendonca
2022/06/06 [Logica-l] Re: sobre as capacidades matemáticas dos (outros) animais 'samuel' via LOGICA-L
2022/06/06 [Logica-l] LUW June 8, Ciro Russo, Winner of the 2nd World Logic Prizes Contest jean-yves beziau
2022/06/06 [Logica-l] sobre as capacidades matemáticas dos (outros) animais Joao Marcos
2022/06/05 [Logica-l] Re: Semântica de jogos pra lógica básica Eduardo Ochs
2022/06/05 [Logica-l] Re: Semântica de jogos pra lógica básica bruno.ramos.mendonca
2022/06/05 [Logica-l] Re: Semântica de jogos pra lógica básica Eduardo Ochs
2022/06/05 [Logica-l] Re: Semântica de jogos pra lógica básica bruno.ramos.mendonca
2022/06/04 [Logica-l] XX EBL - Deadline extended 'Ciro Russo UFBA' via LOGICA-L
2022/06/04 Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem Claudio Callejas
2022/06/04 [Logica-l] Semântica de jogos pra lógica básica Eduardo Ochs
2022/06/03 Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem 'samuel' via LOGICA-L
2022/06/03 Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem Claudio Callejas
2022/06/03 [Logica-l] The Langlands program, explained Joao Marcos
2022/06/03 Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem Juan Carlos Agudelo Agudelo
2022/06/03 Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem Jorge Petrucio Viana
2022/06/03 Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem 'samuel' via LOGICA-L
2022/06/03 Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem Jorge Petrucio Viana
2022/06/03 Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem 'Samuel Gomes da Silva' via LOGICA-L
2022/06/03 Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem Claudio Callejas
2022/06/03 Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem 'samuel' via LOGICA-L
2022/06/03 Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem Joao Marcos
2022/06/03 Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem 'samuel' via LOGICA-L
2022/06/02 Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem Claudio Callejas
2022/06/02 Re: [Logica-l] Pergunta sobre um conceito em teoria da ordem Joao Marcos
2022/06/02 [Logica-l] Pergunta sobre um conceito em teoria da ordem Claudio Callejas
2022/06/02 [Logica-l] Paraconsistent Newsletter Spring Fall 2022 jean-yves beziau
2022/06/02 [Logica-l] FLoC, IJCAR, ThEdu Joao Marcos
2022/06/02 [Logica-l] Posters do EBL disponíveis para download 'Samuel Gomes da Silva' via LOGICA-L
2022/06/02 [Logica-l] Re: Sense and the Making of Sense / St. Petersburg State University, June 2-4 jean-yves beziau
2022/06/01 [Logica-l] Sense and the Making of Sense / St. Petersburg State University, June 2-4 jean-yves beziau
2022/06/01 [Logica-l] Fwd: two funded PhD positions at Inria Nancy Joao Marcos
2022/05/31 Re: [Logica-l] Lógica possibilística Julio Stern
2022/05/31 [Logica-l] Last CfP: 3rd Joint Workshop Linearity & TLLA [FLoC 2022] D. Ventura
2022/05/30 [Logica-l] Call for Graduate Symposium | DIAGRAMS 2022 | Visualization Criteria jean-yves beziau
2022/05/30 [Logica-l] Fwd: [diagrams-list] Call for Graduate Symposium | DIAGRAMS 2022 Jorge Petrucio Viana
2022/05/30 Re: [Logica-l] 2022: The Year of Prolog Adolfo Neto
2022/05/30 [Logica-l] 2022: The Year of Prolog Elaine Pimentel
2022/05/28 [Logica-l] Lógica possibilística jean-yves beziau
2022/05/28 [Logica-l] Ambiguous Symmetry: The Typical Case of Human Beings jean-yves beziau
2022/05/27 [Logica-l] Lógica possibilística Daniel Diniz
2022/05/26 Re: [Logica-l] Ideias Brasileiras - Ítala D'Ottaviano Alfredo Roque Freire
2022/05/26 Re: [Logica-l] Ideias Brasileiras - Ítala D'Ottaviano Elaine Pimentel
2022/05/25 Re: [Logica-l] Ideias Brasileiras - Ítala D'Ottaviano Aldo Figallo-Orellano
2022/05/25 Re: [Logica-l] Ideias Brasileiras - Ítala D'Ottaviano Walter Carnielli
2022/05/25 [Logica-l] Ideias Brasileiras - Ítala D'Ottaviano Alfredo Roque Freire
2022/05/25 [Logica-l] 2nd Workshop on Relating Logic Cagliari, Italy, 22–23 July 2022 jean-yves beziau
2022/05/25 [Logica-l] Postdoc position in non-classical logic / Department of Logic, Nicolaus Copernicus University in Toruń jean-yves beziau
2022/05/24 [Logica-l] [Seminários 2022] Efficient Theorem-Proving for Modal Logics Adolfo Neto
2022/05/24 [Logica-l] Fwd: 2022 Shaw Prize em Matematica Joao Marcos
2022/05/24 [Logica-l] WCP6 and SQUARE7 - Deadline Extension: May 31st jean-yves beziau
2022/05/23 [Logica-l] [OF TOPIC] Universidades brasileiras reféns do Google jean-yves beziau
2022/05/23 Re: [Logica-l] [OF TOPIC] Universidades brasileiras reféns do Google Julio Stern
2022/05/22 Re: [Logica-l] [OF TOPIC] Universidades brasileiras reféns do Google Juan F. Meleiro
2022/05/22 [Logica-l] [OF TOPIC] Universidades brasileiras reféns do Google Walter Carnielli
2022/05/22 [Logica-l] Re: *Logics*: um novo periódico na nossa área 'Ciro Russo' via LOGICA-L
2022/05/21 [Logica-l] *Logics*: um novo periódico na nossa área Joao Marcos
2022/05/20 Re: [Logica-l] Dutilh Novaes Wins Lakatos Award Itala Maria Loffredo D'Ottaviano
2022/05/20 [Logica-l] Concursos Públicos para ProfessorDr-FT-Unicamp - Áreas: Computação, Engenharia Ambiental e Engenharia de Telecomunicações Walter Carnielli
2022/05/20 [Logica-l] The women who brought logic to America Joao Marcos
2022/05/19 [Logica-l] Final CfP [deadline extended]: 3rd Joint Workshop Linearity & TLLA [FLoC 2022] D. Ventura
2022/05/19 [Logica-l] [OUF] Morre o compositor grego Vangelis jean-yves beziau
2022/05/19 [Logica-l] Update: Ph.D. scholarship: History of mathematics---Deadline for applying: June 6, 2022 Gisele Secco
2022/05/19 Re: [Logica-l] Dutilh Novaes Wins Lakatos Award Maria Martinez-Ordaz
2022/05/19 Re: [Logica-l] Dutilh Novaes Wins Lakatos Award Evandro L. Gomes
2022/05/19 Re: [Logica-l] Dutilh Novaes Wins Lakatos Award Elaine Pimentel
2022/05/19 Re: [Logica-l] Dutilh Novaes Wins Lakatos Award Walter Carnielli
2022/05/19 Re: [Logica-l] Dutilh Novaes Wins Lakatos Award Marcelo Finger
2022/05/19 Re: [Logica-l] Dutilh Novaes Wins Lakatos Award Valeria de Paiva
2022/05/19 Re: [Logica-l] Dutilh Novaes Wins Lakatos Award Joao Marcos
2022/05/19 [Logica-l] Dutilh Novaes Wins Lakatos Award Marcos Silva