I. Reznikoff, “On independent recursive axiomatisation in intuitionistic logic”, Algebra i Logika. Sem., 6:6 (1967), 21

Algebra i Logika. Seminar

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	General information
	Latest issue
	Archive
	Impact factor

	Search papers
	Search references

	RSS
	Latest issue
	Current issues
	Archive issues
	What is RSS

Algebra Logika:
Year:
Volume:
Issue:
Page:
	Find

Personal entry:
Login:
Password:
	Save password
	Enter
	Forgotten password?
	Register

Algebra i Logika. Seminar, 1967, Volume 6, Number 6, Pages 21–27 (Mi al1133)

On independent recursive axiomatisation in intuitionistic logic

I. Reznikoff

Paris

Full-text PDF (254 kB)

Received: 12.09.1967

Bibliographic databases:

Document Type: Article

Language: English

Citation: I. Reznikoff, “On independent recursive axiomatisation in intuitionistic logic”, Algebra i Logika. Sem., 6:6 (1967), 21–27

Citation in format AMSBIB

\Bibitem{Rez67}

\by I.~Reznikoff

\paper On independent recursive axiomatisation in intuitionistic logic

\jour Algebra i Logika. Sem.

\yr 1967

\vol 6

\issue 6

\pages 21--27

\mathnet{http://mi.mathnet.ru/al1133}

\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=0226996}

Linking options:

https://www.mathnet.ru/eng/al1133

https://www.mathnet.ru/eng/al/v6/i6/p21

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Statistics & downloads:
Abstract page:	63
Full-text PDF :	24
References:	3

Registration to the website

Logotypes