Adrian Rezuş

From MaRDI portal
Person:897486

Available identifiers

zbMath Open rezus.adrianMaRDI QIDQ897486

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q51195522020-08-30Paper
Book review of: J. von Plato, Saved from the cellar. Gerhard Gentzen's shorthand notes on logic and the foundations of mathematics2019-07-03Paper
Book review of: H. Barendregt et al., Lambda calculus with types2015-12-07Paper
Book review of: R. J. G. B. de Queiroz et al., The functional interpretation of logical deduction2015-07-02Paper
https://portal.mardi4nfdi.de/entity/Q37688971986-01-01Paper
Semantics for classical AUTOMATH and related systems1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47442421983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39606581982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39553331982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39373681982-01-01Paper

Research outcomes over time

This page was built for person: Adrian Rezuş

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:897486&oldid=7442265"
Powered by MediaWiki