Matematiikan ja systeemianalyysin laitos

• Tutkimus
  • Algebra and discrete mathematics
    • Events
    • Members
    • Seminars
    • Teaching
  • Analysis
    • Complex analysis
      • Group members
      • Recent publications
      • Research
      • Teaching
    • Differential geometry and applications
      • Math & Arts
    • Nonlinear Partial Differential Equations (NPDE)
      • Group members
      • Recent publications
      • Research
    • Time-frequency analysis
    • NNPSM2016
      • Information
      • Program
      • Participants
      • Registration
    • HAPDE2015
      • About
      • Information
      • Program
      • Participants
      • Registration
    • QuasiWeekend II
  • Mathematical Physics
    • Events
      • PFT2024
        • Information
        • Program
        • Participants
        • Registration
    • Members
    • Seminars
    • Teaching
  • Mathematical Statistics and Data Science
    • Events
    • Seminar
    • Teaching
    • Members
  • Numerical analysis
    • Seminars
    • Teaching
    • Members
    • Events
  • Systems and operations research
• Opiskelu
  • Palveluopetus
  • Kandiopinnot
  • Master's level
  • Doctoral level
  • Courses
  • Laskutupa
  • E-opetus
    • Materiaalit
    • MOOC
    • Projektit
    • Tutkimus
    • STACK
• Henkilökunta
  • Palveluhenkilökunta
  • Aakkosjärjestyksessä
  • Henkilökunta kuvina
• Ajankohtaista
  • Esitelmät
  • Colloquium
  • LUMA
  • Vierailijat
  • Julkaisut
    • Julkaistut artikkelit
    • Aalto ST
    • Tutkimusraportit A
    • Tutkimusraportit C
    • Systemianalyysi
  • Summer trainees
• Yhteystiedot
• Sisäsivut

Research reports by Nikolai Volkov

Here are the reports authored by Nikolai Volkov. See the reports of all authors.

Helsinki University of Technology Institute of Mathematics Research Reports A

A382

Nikolai Volkov

Algebraizations of the First Order Logic   [pdf][pdf.gz]

Received 1997-12-30