Arnold A. Johanson
From MaRDI portal
Person:2264756
Available identifiers
zbMath Open johanson.arnold-aMaRDI QIDQ2264756
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
Imperative logic as based on a Galois connection | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3765744 | 1986-01-01 | Paper |
TOPOLOGY WITHOUT POINTS | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4138929 | 1976-01-01 | Paper |
A proof of Hume's separation thesis based on a formal system for descriptive and normative statements | 1973-01-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Arnold A. Johanson