Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Calculi of constructive logic with subordinate variables
Home
Publications
Calculi of constructive logic with subordinate variables
Calculi of constructive logic with subordinate variables
AI
A. V. Idel′Son
A. V. Idel′Son
GC
G. Ceĭtin
G. Ceĭtin
NŠ
N. Šanin
N. Šanin
NV
N. Vorob′Ev
N. Vorob′Ev
IZ
I. Zaslavskiĭ
I. Zaslavskiĭ
Publisher Website
Google Scholar
Add to library
Cite
Download
Share
Download
Download
Download PDF
Download
1 January 1972
book chapter
Published by
American Mathematical Society (AMS)
in
American Mathematical Society Translations: Series 2
Vol. 99
,
83-227
https://doi.org/10.1090/trans2/099/03
Abstract
No abstract available
Cited by 3 articles