The Use of Formal Systems in Logic and Mathematics

Front Cover
Brandeis University, 1970 - Logic, Symbolic and mathematical - 218 pages

Bibliographic information