Introductory formal logic of mathematics

书目详细资料
主要作者:	Nidditch, P.H
格式:	图书
语言:	English
出版:	London University Tutorial Press Ltd 1957.
主题:	Metamathematics. Logic, Symbolic and mathematical.