Herman Ruge Jervell has written:

'On Skolem and Herbrand theorems for intuitionistic logic' -- subject(s): Intuitionistic mathematics, Predicate calculus

'Herbrand and Skolem theorems in infinitary languages' -- subject(s): Infinitary languages

'An Herebrand [i.e. Herbrand] theorem for higher order logic' -- subject(s): Predicate calculus

Bruno Scarpellini has written:

'Proof theory and intuitionistic systems' -- subject(s): Intuitionistic mathematics, Proof theory

Jean Largeault has written:

'L' intuitionisme'

'Quine'

'Intuition et intuitionisme' -- subject(s): Intuition, Intuitionistic mathematics

the logic in being illogical is the logic that the illogicality can be logically answered by any logical person with logic on illogical logic.