A form of herbrand's theorem

From MaRDI portal

Publication:5539744

Jump to:navigation, search

DOI10.1002/malq.19690150704zbMath0157.33501OpenAlexW1990537232MaRDI QIDQ5539744

Theodore Hailperin

Publication date: 1969

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

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

zbMATH Keywords

mathematical logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

This page was built for publication: A form of herbrand's theorem

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