scientific article; zbMATH DE number 3266573

zbMath0166.25001MaRDI QIDQ5551113

Grigori Mints

Publication date: 1967

Full work available at URL: https://eudml.org/doc/66385

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik ⋮ Intuitionistic axiomatizations for bounded extension Kripke models.

This page was built for publication: