%0 Book Section %1 series/hhl/KamareddineLN12 %A Kamareddine, Fairouz %A Laan, Twan %A Nederpelt, Rob %B Logic: A History of its Central Concepts %D 2012 %E Gabbay, Dov M. %E Pelletier, Francis Jeffry %E Woods, John %I Elsevier %K dblp %P 451-511 %T A History of Types*. %U http://dblp.uni-trier.de/db/series/hhl/hhl11.html#KamareddineLN12 %V 11 %@ 978-0-444-52937-4

@incollection{series/hhl/KamareddineLN12, added-at = {2017-07-12T00:00:00.000+0200}, author = {Kamareddine, Fairouz and Laan, Twan and Nederpelt, Rob}, biburl = {https://www.bibsonomy.org/bibtex/2512577b4f1fb6d9fb4967634b604cdb4/dblp}, booktitle = {Logic: A History of its Central Concepts}, crossref = {series/hhl/11}, editor = {Gabbay, Dov M. and Pelletier, Francis Jeffry and Woods, John}, ee = {https://doi.org/10.1016/B978-0-444-52937-4.50009-5}, interhash = {e821b0c1078668786084c4a11923fe4c}, intrahash = {512577b4f1fb6d9fb4967634b604cdb4}, isbn = {978-0-444-52937-4}, keywords = {dblp}, pages = {451-511}, publisher = {Elsevier}, series = {Handbook of the History of Logic}, timestamp = {2020-07-10T11:41:40.000+0200}, title = {A History of Types*.}, url = {http://dblp.uni-trier.de/db/series/hhl/hhl11.html#KamareddineLN12}, volume = 11, year = 2012 }