Sequent calculi for 'generally'

Título:

Sequent calculi for 'generally'

Autor:

Leonardo Bruno Vana

Ano:

2007

Revista:

Electronic Notes in Theoretical Computer Science

ISSN:

15710661

Idioma:

Inglês

Buscar essa publicação no Google Acadêmico

Publicações com a mesma autoria

Natural Deduction for 'Generally'