Tableau Systems for First Order Number Theory and Certain Higher Order Theories (Lecture Notes in Mathematics) (Lecture Notes in Mathematics (447), Band 447)

von Sue Toledo

Taschenbuch

ISBN: 978-3-540-07149-5

ISBN-10: 3-540-07149-0

S. auch (eventuell von anderen Autoren):
1975	Paperback	Tableau systems for first order number theory and certain higher order theories (Lecture notes in mathematics ; 447)