01337nam a2200313 i 4500991003277789707536m d cr cn|||||||||080616s1996 ne a sb 001 0 eng d97804448230690444823069b13659649-39ule_instDip.to Matematicaeng511.322Cantini, Andrea45544Logical frameworks for truth and abstraction[e-book] :an axiomatic study /Andrea CantiniAmsterdam ;New York :Elsevier Science,1996xii, 461 p. :ill. ;23 cmStudies in logic and the foundations of mathematics ;135Includes bibliographical references (p. [425]-440) and indexLogic, Symbolic and mathematicalTruthScienceDirecthttp://www.sciencedirect.com/science/publication?issn=0049237X&volume=135An electronic book accessible through the World Wide Web; click for informationPublisher descriptionhttp://catdir.loc.gov/catdir/enhancements/fy0601/96004681-d.html.b1365964903-03-2229-01-08991003277789707536Logical frameworks for truth and abstraction851553UNISALENTOle01329-01-08m@ -engne 00