scientific article; zbMATH DE number 194961

From MaRDI portal

Revision as of 19:18, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4692926

Jump to:navigation, search

zbMath0674.00003MaRDI QIDQ4692926

Raymond M. Smullyan

Publication date: 5 June 1993

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

zbMATH Keywords

logic Gödels theorem mathematical amusement problems for non- mathematicians

Mathematics Subject Classification ID

Problem books (00A07) Axiomatics of classical set theory and its fragments (03E30) General logic (03B99) General and miscellaneous specific topics (00A99) Recreational mathematics (00A08)

Related Items (2)

Truth and provability ⋮ Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)

This page was built for publication:

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