skip to main content
Idioma:
Primo Search
Clear Search Box
Search in: Búsqueda General
Búsqueda Avanzada
Búsqueda por Índices
Tipo de recurso Ver resultados con: Ver resultados con: Sumario

Propositional intuitionistic multiple-conclusion calculus via proof graphs

Carvalho, Ruan V B ; de Oliveira, Anjolina G ; de Queiroz, Ruy J G B

Logic journal of the IGPL, 2019-02 [Revista revisada por pares]

Texto completo disponible

Citas Citado por

Autentícate para publicar un comentario

Autentícate para Añadir nuevas etiquetas

Volver a la lista de resultados
Ir a la página anteriorAnterior Resultado  5 SiguienteIr a la siguiente página

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_PRODUCAO),scope:(USP_EBOOKS),scope:("PRIMO"),scope:(USP),scope:(USP_EREVISTAS),scope:(USP_FISICO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora