skip to main content
Idioma:

Labelled natural deduction for substructural logics

Krysia Broda Marcelo Finger; Alessandra Russo

Logic Journal of the IGPL Oxford v. 7, n. 3, p. 283-318, 1999

Oxford 1999

Localização: IME - Inst. Matemática e Estatística    (PROD-1084431 )(Acessar)

  • Título:
    Labelled natural deduction for substructural logics
  • Autor: Krysia Broda
  • Marcelo Finger; Alessandra Russo
  • Assuntos: LÓGICA MATEMÁTICA; LÓGICA MATEMÁTICA
  • É parte de: Logic Journal of the IGPL Oxford v. 7, n. 3, p. 283-318, 1999
  • Notas: Disponível em: https://doi.org/10.1093/jigpal/7.3.283. Acesso em: 04 set. 2020
  • Editor: Oxford
  • Data de criação/publicação: 1999
  • Formato: p. 283-318.
  • Idioma: Inglês
Links
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  7 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.