ISBN-13: 9783540071495 / Angielski / Miękka / 1975 / 348 str.
First order number theory.- Second order logic.- Other higher order systems due to Schütte.
Czytaj nas na: