A proof of Herbrand's theorem

From MaRDI portal

Publication:767858

Jump to:navigation, search

zbMath0073.00702MaRDI QIDQ767858

Andrzej Mostowski, Helena Rasiowa, Jerzy Łoś

Publication date: 1956

Published in: Journal de Mathématiques Pures et Appliquées. Neuvième Série (Search for Journal in Brave)

zbMATH Keywords

Philosophy Foundations Mathematical Logic

This page was built for publication: A proof of Herbrand's theorem

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