1
Published 1981
Springer Netherlands
Table of Contents: ...: The Interplay Between Logic and Mathematics -- Logic and the Foundations of Mathematics -- Logic and Set Theory...

2
Published 1997
Springer Netherlands
Table of Contents: ... and Structuralism in Mathematics: Syntactical Considerations -- Reflection in Set Theory. The Bernays-Levy Axiom...