Sistemas Dedutivos para Lógica Quântica Minimal Teses uri icon

autores

  • Ana Catarina Lopes Carvalho Sousa

data de publicação

  • janeiro 2022