Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Journal articles

Studes of Hilbert's Epsilon Operator in the USSR

Sergei Soloviev 1, 2 
1 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
IRIT - Institut de recherche en informatique de Toulouse
2 ITMO - Saint Petersburg National Research University of Information Technologies, Mechanics and Optics
Abstract : The aim of this paper is to give a short survey of the studies that concern the notion of Hilbert’s ε-operator and its applications by the researchers in the USSR and continuation of their works abroad in post-soviet time.
Keywords : History of logic Epsilon-operator Soviet mathematics
Document type :
Journal articles
Complete list of metadata

Cited literature [43 references]  Display  Hide  Download
https://hal.archives-ouvertes.fr/hal-01914086
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Tuesday, November 6, 2018 - 4:30:13 PM
Last modification on : Monday, July 4, 2022 - 9:50:26 AM
Long-term archiving on: : Thursday, February 7, 2019 - 3:41:58 PM

File

Vignette du document
soloviev_19099.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01914086, version 1
  • OATAO : 19099

Collections

UNIV-TLSE2 | CNRS | SMS | UT1-CAPITOLE | TDS-MACS | IRIT | IRIT-ACADIE | IRIT-FSL | UNIV-UT3 | UT3-TOULOUSEINP

Citation

Sergei Soloviev. Studes of Hilbert's Epsilon Operator in the USSR. IfColog Journal of Logics and their Applications (FLAP), College Publications, 2017, 4 (2), pp.425-434. ⟨hal-01914086⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

30

Files downloads

124