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

Bibliographic Details
Main Author: Lorenz, Kuno, 1932-
Format: Book
Subjects: