Резултати

еНаука >  Резултати >  Equational reformulation of intuitionistic propositional calculus and classical first-order predicate calculus
Назив: Equational reformulation of intuitionistic propositional calculus and classical first-order predicate calculus
Аутори: Boričić, Branislav  
Година: 1981
Публикација: Publications de l'Institut Mathématique
ISSN: 0350-1302 Publications de l#Institut Mathematique, Beograd Претражи идентификатор
Тип резултата: Научни чланак
Колација: vol. 29 br. 43 str. 23-28
URI: https://enauka.gov.rs/handle/123456789/780603
Извор метаподатака: (Preuzeto iz ORCID-a) Boričić, Branislav
М-категорија: 
Мп категорија ће бити приказана накнадно.

Пронађи DOI

Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.