Rules versus theorems : a new approach for meditation beween intuitionistic and two-valued logic.

Bibliographic Details
Main Author: Lorenz, Kuno, 1932-
Format: Book
Subjects:
Description
Item Description:En: Journal of philosophical logic no. 2, 1973. -- p. 352-369