Sequents and Trees / Indrzejczak / SUL

11 views

Skip to first unread message

unread,

Dec 23, 2020, 10:29:53 AM12/23/20

to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

Acabou de ser lançado na coleção Studies in Universal Logic o livro de

Andrzej Indrzejczak Sequents and Trees

o Andrej é o chefe do departamento de lógica da Universidade de Lodz,

sucessor de Grzegorz Malinowski.

Esse departamento é um dos maiores departamento de lógica da Polônia

Foi organizada lá uma celebração importante para o primeira dia mundial da lógica em 2019

Acredito que o livro Sequents and Trees é um excelente presente de Natal !

Feliz natal a todo/as ...

JYB

Reply all

Reply to author

Forward

0 new messages