1
Mathematical Theory of Domains

Mathematical Theory of Domains

Stoltenberg-Hansen V., Lindstrom I., Griffor E.R.
წელი:
1994
ენა:
english
ფაილი:
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.)
წელი:
2006
ენა:
english
ფაილი:
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
წელი:
2006
ენა:
english
ფაილი:
PDF, 102.08 MB
0 / 0
english, 2006
5
Logicism, Intuitionism, and Formalism: What has Become of Them?

Logicism, Intuitionism, and Formalism: What has Become of Them?

Dalen, Dirk, Hendricks, Vincent F., Kuipers, Theo A. F., Lindström, Sten, Palmgren, Erik, Segerberg, Krister, Seidenfeld, Teddy, Stoltenberg-Hansen, Viggo, Suppes, Patrick, Symons, John, WoleńSki, Jan
წელი:
2009
ენა:
english
ფაილი:
PDF, 4.90 MB
0 / 0
english, 2009
6
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 (eds.)
წელი:
2009
ენა:
english
ფაილი:
PDF, 3.15 MB
0 / 0
english, 2009
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
წელი:
2009
ენა:
english
ფაილი:
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.)
წელი:
2002
ენა:
english
ფაილი:
PDF, 12.35 MB
0 / 0
english, 2002