Volume 87; Issue 1

2

Models of linear logic

Année:
1997
Langue:
english
Fichier:
PDF, 801 KB
english, 1997
3

Infinite sets of primes, admitting diophantine representations in eight variables

Année:
1997
Langue:
english
Fichier:
PDF, 675 KB
english, 1997
4

Randomized proofs in arithmetic

Année:
1997
Langue:
english
Fichier:
PDF, 1.12 MB
english, 1997
5

Level logics

Année:
1997
Langue:
english
Fichier:
PDF, 556 KB
english, 1997
7

A method of epsilon substitution for the predicate logic with equality

Année:
1997
Langue:
english
Fichier:
PDF, 1.33 MB
english, 1997