Addition au travail `A proof of Herbrand theorem'

MaRDI QIDQ2540422zbMATH OpenFDO

Authors Jerzy Łoś, Helena Rasiowa, 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)

Cited in

(1)

• scientific article; zbMATH DE number 3983416 (Why is no real title available?)

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)