Zur Beweistheorie Von Sprachen Mit Unendlich Langen Formeln

From MaRDI portal

Publication:5328156

Jump to:navigation, search

DOI10.1002/MALQ.19610071109zbMath0124.24802OpenAlexW2066690287MaRDI QIDQ5328156

Publication date: 1961

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

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

zbMATH Keywords

mathematical logic

Related Items (1)

Engeler's scientific work

This page was built for publication: Zur Beweistheorie Von Sprachen Mit Unendlich Langen Formeln

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