Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order

From MaRDI portal

Publication:749525

Jump to:navigation, search

DOI10.1007/BF00971158zbMath0713.03016MaRDI QIDQ749525

Publication date: 1990

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

proper classes pseudo-Boolean algebra theory of types transfinite expressions

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (1)

Asymptotic behavior of semiclassical polynomials of joint orthogonality of Bessel type

This page was built for publication: Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order

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

Pages with script errors