Hubert H. Schneider
From MaRDI portal
Person:1217097
Available identifiers
zbMath Open schneider.hubert-hMaRDI QIDQ1217097
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Substitutions for predicate variables and functional variables | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3867345 | 1980-01-01 | Paper |
| Some Remarks Concerning a Definition of Ordered Pairs | 1977-01-01 | Paper |
| A deduction system for the full first-order predicate logic | 1976-01-01 | Paper |
| On generating the finitely satisfiable formulas | 1973-01-01 | Paper |
| A calculus for finitely satisfiable formulas with identity | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3276695 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3252697 | 1958-01-01 | Paper |
Research outcomes over time
This page was built for person: Hubert H. Schneider
