scientific article

From MaRDI portal

Publication:3755428

Jump to:navigation, search

zbMath0619.03011MaRDI QIDQ3755428

Leon Gumański

Publication date: 1986

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

zbMATH Keywords

diagonal method decision procedure for the functional calculus of first order

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Set theory (03E99)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3755428&oldid=17291199"