scientific article; zbMATH DE number 3997794
From MaRDI portal
Publication:4724634
zbMath0616.03045MaRDI QIDQ4724634
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modulesnonstandard analysisringstransfer theoremsfirst-order propertiesHorn formulasHeyting-valued models
This page was built for publication: