scientific article
From MaRDI portal
Publication:3792681
zbMath0648.03038MaRDI QIDQ3792681
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Second- and higher-order arithmetic and fragments (03F35) Set theory (03E99)
This page was built for publication: