scientific article; zbMATH DE number 903095

From MaRDI portal

Publication:4884540

Jump to:navigation, search

zbMath0848.03011MaRDI QIDQ4884540

Shi-Qiang Wang, Yu-Ping Zhang

Publication date: 15 July 1996

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

zbMATH Keywords

Gentzen style proof theory Robinson's weak forcing model-theoretic weak forcing

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Model-theoretic forcing (03C25)

This page was built for publication:

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