Repository | Directory | Profile

References
Krister Segerberg
(1980-1989)
XOn the logic of small changes in theories II
1987
in: Mathematical logic and its applications, Dordrecht : Springer

Repository | Directory | Profile
(1980-1989)
XOn the logic of small changes in theories II
1987
in: Mathematical logic and its applications, Dordrecht : Springer