
Non-well-founded Sets
Peter Aczel
₹1,879

A Selection of Papers from the Leeds Proof Theory Programme 1990
by Peter Aczel, Harold Simmons, Stanley S. Wainer
Cambridge University Press · 2008
Free delivery. Nothing extra to pay at checkout.
Published by Cambridge University Press in 2008, Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990 by Peter Aczel, Harold Simmons & others runs to 320 pages.
The book deals with Proof theory.