Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')
EuDML - The European Digital Mathematics Library

Login | Register | (Why Register?)

  • Home
  • Advanced Search
  • Browse by Subject
  • Browse by Journals
  • Refs Lookup
Back to Simple Search

Advanced Search

Match of the following rules

Add Sub-clause

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Currently displaying 1 – 4 of 4

Showing per page

Order by Relevance | Title | Year of publication

Переход от выводимости в классической теории множеств к выводимости в интуиционистской теории множеств для языка колец.

В.А. Любецкий — 1991

Algebra i Logika

Модельная полнота теории и оценка формул

В.А. Любецкий — 1990

Algebra i Logika

Интуиционистская теория алгебраических систем и гейтинговозначный анализ.

В.А. Любецкий — 1991

Algebra i Logika

Теоремы переноса и алгебра модальных операторов.

В.А. Любецкий;  V. A. Ljubeckij;  V. A. Lǔbeckij;  V. A. Ljubeckij — 1997

Algebra i Logika

Page 1

Download Results (CSV)

Languages

  • 4 ru

Document types

  • 4 Article

Journals

  • 4 Algebra i Logika

Years

  • 1 1997
  • 2 1991
  • 1 1990

Authors

  • 4 Любецкий, ВА
  • 1 Ljubeckij, VA
  • 1 Lǔbeckij, VA
EuDML
  • About EuDML initiative
  • Feedback
  •  version 2.1.7