scientific article

From MaRDI portal

Publication:3597456

Jump to:navigation, search

zbMath1161.03001MaRDI QIDQ3597456

Martin Goldstern

Publication date: 9 February 2009

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fields first-order logic higher-order logic model theory consequence relation completeness theorem predicate logic incompleteness theorem ZFC set theory

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

This page was built for publication:

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