The forall-not degree of a connective-free formula

Publication

Title				The forall-not degree of a connective-free formula

Author				van den Bussche, J.

Language				English

Source (journal)				Acta informatica. - Berlin

Publication				Berlin : 1993

ISSN				0001-5903

Volume/pages				30 (1993) , p. 489-502

UAntwerpen

Faculty/Department				Faculty of Sciences. Mathematics and Computer Science

Publication type				A1 Journal article

Affiliation				Publications with a UAntwerp address

External links

Record

Identifier

Creation

08.10.2008

Last edited

04.03.2024

To cite this reference