scientific article; zbMATH DE number 2174387

From MaRDI portal

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

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

Publication:4681890

Jump to:navigation, search

zbMath1079.03053MaRDI QIDQ4681890

Sergej N. Artemov

Publication date: 8 June 2005

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

zbMATH Keywords

expressive power lambda calculus logic of proofs modal lambda calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Logic of proofs

This page was built for publication:

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