| RUS ENG |
| Full version |
|
|
|
| JOURNALS // Zapiski Nauchnykh Seminarov POMI // Archive |
|
1995, Volume 220
|
| | | General information | | | Contents | | |
|
Nikolai Aleksandrovich Shanin |
||
|
|
Georg Ņantor as the author of constructions playing fundamental roles in constructive mathematics N. A. Shanin |
5 | |
|
|
Models of linear logic Marc Bergeron, William Hatcher |
23 | |
|
|
Infinite sets of primes, admitting Diophantine representations in eight variables M. A. Vsemirnov |
36 | |
|
|
Randomized proofs in arithmetic E. Ya. Dantsin |
49 | |
|
|
Level logics N. K. Kossovski |
72 | |
|
|
A new technique for obtaining Diophantine representations via elimination of bounded universal quantifiers Yu. V. Matiyasevich |
83 | |
|
|
A method of epsilon substitution for the predicate logic with equality G. E. Mints |
93 | |
|
|
Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic Regimantas Pliuškevičius |
123 | |