scientific article; zbMATH DE number 3241262

zbMath0149.24502MaRDI QIDQ5528633

Paul C. Gilmore

Publication date: 1958

Full work available at URL: http://www.numdam.org/item?id=CM_1956-1958__13__277_0

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

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (3)

An order-sorted logic for knowledge representation systems ⋮ Investigations in many-sorted quantor logic ⋮ A mechanical solution of Schubert's steamroller by many-sorted resolution

Cites Work

• Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
• Logic of many-sorted theories

This page was built for publication: