Persons
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
Tauts, A
Statistics Math-Net.Ru
Total publications:
2
Scientific articles:
2
Number of views:
This page:
47
Abstract pages:
112
Full texts:
39
https://www.mathnet.ru/eng/person159458
List of publications on Google Scholar
List of publications on ZentralBlatt
Publications in
Math-Net.Ru
Citations
1990
1.
A. Tauts, “Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order”,
Sibirsk. Mat. Zh.
,
31
:1 (1990),
150–160
;
Siberian Math. J.
,
31
:1 (1990),
128–136
1969
2.
A. Tauts, “Nonregular first order predicate calculus”,
Algebra Logika
,
8
:1 (1969),
76–92
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024
Contact us: