Intensional Mathematics 
Stewart Shapiro 
 -  Elsevier  1985 
 -  113 .
<br/><br/><label>ISBN: </label>9780444876324 978-0-444-87632-4