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

From MaRDI portal

(Redirected from Publication:562913)

Jump to:navigation, search

MaRDI QIDQ562913zbMATH OpenFDO

Authors 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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Anwendung_der_intuitionistischen_Logik_auf_die_Definition_der_Vollständigkeit_eines_Kalküls.&oldid=62807481"