Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität

DOI10.1002/MALQ.19560020102zbMATH Open0075.00501OpenAlexW2158630416MaRDI QIDQ3240233

L. Kalmár

Publication date: 1956

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19560020102

zbMATH Keywords

Mathematical logic and foundations

Mathematics Subject Classification ID

Philosophical aspects of logic and foundations (03Axx)

Related Items (1)

A decidable subclass of the minimal Gödel class with identity

This page was built for publication: Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität

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