Anwendung der intuitionistischen Logik auf die Definition der Vollständigkeit eines Kalküls.

zbMATH Open58.0070.15MaRDI QIDQ562913FDOQ562913

Arend Heyting

Publication date: 1932

This page was built for publication: Anwendung der intuitionistischen Logik auf die Definition der Vollständigkeit eines Kalküls.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q562913)