Logic colloquium '80 : papers intended for the European Summer Meeting of the Association for Symbolic Logic - Logic Colloquium (1980 Prague); Dalen, D. Van, 1932-; Lascar, D.; Smiley, T. J. (Amsterdam : North-Holland Pub., 1982)
Under the auspices of Czech Academy of Sciences
Keywords: Metamathematics; Logic, Symbolic and mathematical