Proof Theory. Takeuti, G. North-Holland Publishing Company., 1975.
bibtex   
@Book{takeuti2013proof,
		  title     = {Proof Theory},
		    publisher = {North-Holland Publishing Company.},
			  year      = {1975},
			    author    = {Takeuti, Gaisi},
				  series    = {Studies in Logic and the Foundations of Mathematics.},
}

Downloads: 0