Jose E. de Almeida Moura
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
On some higher-order predicate calculi Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 2 / s. 841978CZYSTY TEKST
Elias H. Alves, Jose E. de Almeida Moura, On some higher-order predicate calculi, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 2, s. 84
BIBTEX@Article{ authors = " Elias H. Alves, Jose E. de Almeida Moura", title = "On some higher-order predicate calculi", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 2", pages = "84" }