1
Mathematical Theory of Domains

Mathematical Theory of Domains

Stoltenberg-Hansen V., Lindstrom I., Griffor E.R.
Année:
1994
Langue:
english
Fichier:
DJVU, 2.97 MB
0 / 0
english, 1994
3
Logic colloquium '03: lecture notes in logic 24

Logic colloquium '03: lecture notes in logic 24

Stoltenberg-Hansen, Viggo., Väänänen, Jouko (eds.)
Année:
2006
Langue:
english
Fichier:
DJVU, 3.22 MB
0 / 0
english, 2006
4
Logic Colloquium ’03: Proceedings of the Annual European Summer

Logic Colloquium ’03: Proceedings of the Annual European Summer

Viggo Stoltenberg-Hansen, Jouko Väänänen
Année:
2006
Langue:
english
Fichier:
PDF, 102.08 MB
0 / 0
english, 2006
7
Logicism, intuitionism, and formalism : what has become of them?

Logicism, intuitionism, and formalism : what has become of them?

Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen
Année:
2009
Langue:
english
Fichier:
PDF, 2.20 MB
0 / 0
english, 2009
8
Proof and System-Reliability

Proof and System-Reliability

G. Hamrin, V. Stoltenberg-Hansen (auth.), Helmut Schwichtenberg, Ralf Steinbrüggen (eds.)
Année:
2002
Langue:
english
Fichier:
PDF, 12.35 MB
0 / 0
english, 2002