@inproceedings{f0700abd0d8d443da636a7c1232bfbc9,
title = "Safety Signatures for First-order Languages and Their Applications",
author = "Arnon Avron",
note = "Proceedings from the conference FOL75 - 75 Years of First-Order Logic held at Humboldt University, Berlin, Germany, September 18 - 21 2003; FOL75 - 75 Years of First-Order Logic ; Conference date: 18-09-2003 Through 21-09-2003",
year = "2004",
language = "אנגלית",
isbn = "9783832504755",
series = "Logische Philosophie",
publisher = "Logos Tip Yayinciligi",
pages = "37--58",
editor = "Hendricks, { Vincent F } and Neuhaus, { Fabian } and Pedersen, { Stig Andur } and Scheffler, {Uwe } and Wansing, {Heinrich }",
booktitle = "First-order logic revisited",
address = "טורקיה",
}