In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs

From MaRDI portal
Publication:5421030

DOI10.2178/bsl/1185803805zbMath1139.03004OpenAlexW2037922190MaRDI QIDQ5421030

Jan von Plato

Publication date: 22 October 2007

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.bsl/1185803805




Related Items (5)



Cites Work




This page was built for publication: In the Shadows of the Löwenheim-Skolem Theorem: Early Combinatorial Analyses of Mathematical Proofs