Show indexed articles as search result.

The articles of this volume will be reviewed individually. Vol. 1 has been reviewed (see Zbl 0831.00006).
Indexed articles:
de Nivelle, Hans, Resolution games and non-liftable resolution orderings, 1-20 [Zbl 0859.03006]
Kerber, Manfred; Kohlhase, Michael, A tableau claculus for partial functions, 21-49 [Zbl 0851.03004]
Salzer, Gernot, MUltlog: An expert system for multiple-valued logics, 50-55 [Zbl 0847.68121]
Krajíček, Jan, A fundamental problem of mathematical logic, 56-64 [Zbl 0858.03040]
Pudlák, Pavel, On the lengths of proofs of consistency. A survey of results, 65-86 [Zbl 0855.03032]
Carbone, A., The Craig interpolation theorem for schematic systems, 87-100 [Zbl 0855.03031]
Stewart, Iain A., The role of monotonicity in descriptive complexity theory, 101-117 [Zbl 0852.03015]
Freund, Rudolf; Staiger, Ludwig, Numbers defined by Turing machines, 118-137 [Zbl 0851.03012]