Metcalfe, George <br/><br/>
Proof theory for fuzzy logics/ 
George Metcalfe, Nicola Olivetti and Dov Gabbay 
 - Dordrecht:  Springer,  c2009. 
 - viii, 276 p. :  ill. ;  24 cm. 
 - (Applied logic series),  36 .
<br/><br/>The Semantic basis --<br/>Hilbert systems --<br/>Gentzen systems --<br/>Syntactic eliminations --<br/>Fundamental logics --<br/>Uniformity and efficiency --<br/>First-order logics --<br/>Further topics. 
<br/><br/><label>ISBN: </label>9781402094088 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory<br/>Fuzzy logic<br/>Logic<br/>Algebra<br/>Mathematics
<br/><br/><label>Dewey Class. No.: </label>511.313  / MET/P