scientific article; zbMATH DE number 3299689

zbMath0188.01202MaRDI QIDQ5581594

S. Yu. Maslov

Publication date: 1967

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

zbMATH Keywords

general logic

Related Items (4)

Proof-search in intuitionistic logic based on constraint satisfaction ⋮ Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification ⋮ Deduction search in calculi of general type ⋮ What you always wanted to know about rigid E-unification

This page was built for publication: