Hoje às 11h de Brasília, celebração de 120 anos de Alonzo Church

8 views

Skip to first unread message

jean-yves beziau

unread,

Jun 14, 2023, 5:55:04 AM6/14/23

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

The Decision Problem for Effective Procedures - Celebration of the 120th anniversary of Alonzo Church

Nathan Salmon (University of California at Santa Barbara), Gary Mar (State University of New York, Stony Brook), Melvin Fitting (CUNY Graduate Center)
Logica Universalis Webinar 2023