Mathematical Logic and Formalized Theories: A survey of basic concepts and results

Formalized

by Robert Rogers

ISBN: 978-0-7204-2051-7

ISBN-10: 0-7204-2051-2

North-Holland Publishing · 1971