Addition au travail `A proof of Herbrand theorem'

zbMATH Open0199.00704MaRDI QIDQ2540422

Helena Rasiowa, Jerzy Łoś, Andrzej Mostowski

Publication date: 1961

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

zbMATH Keywords

algebraic logic, model theory

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Title not available (Why is that?)

This page was built for publication: Addition au travail `A proof of Herbrand theorem'

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