Kättesaadav: http://en.wikipedia.org/wiki/Global_Positioning_System , 19.04.08 4. Wikipedia, Global Positioning System: System Segmentation. Kättesaadav: http://en.wikipedia.org/wiki/Global_Positioning_System , 19.04.08 5. Plank, T. (2006) Geopositsioneerimine, mõõtmine GPS vastuvõtjaga. Tartu Ülikool. Kättesaadav: http://www.physic.ut.ee/~kikas/GLOBE_oppepaevad/Toomas/Globe_GPS.pdf , 19.04.08 6. Veenpere, E. (2003) Kuidas kontrolloda GPS-i näidu täpsust? Arvutimaailm, nr6. 7. Inseneribüroo Stratum (2002) Eesti inimkannatanutega liiklusõnnetuste asukoha täpsustamise võimalused, Tallinn. Kättesaadav: http://www.mnt.ee/atp/failid/Aruanne%20GPS%202-2.doc , 19.04.08 8. Kaplan, E.D.; Hegarty, C.J. (2006) Understanding GPS: Principles and Applications; Second Edition. Boston, London: Artec House 9. Renault service manual ,,Dialogys"
Võttis kasutusele muutujad, väite komponendid (1) kvantor, (2) subjekt, (3) koopula, (4) eitus, (5) predikaat. Süllogismid. Modaalsed väited. Stoikud: Zenon Kitionist (333-264) ja eriti Chrysippos (279-206). Lausearvutuse elemendid. Keskajal Boethius (480-525). Aristoteles ladina keelde. Skolastikud panevad aluse ka analüütilisele filosoofiale. Raimon Lull (1235-1315) Võtab kasutusele sümbolid. G. W. Leibnitz (1646-1716). Idee luua universaalne sümbolkeel, mida võib kontrolloda ka masinaga. Tegi palju matematilise loogika jaoks, kuid ei avaldanud. G. Boole (1815-64) Lausearvutus. Seda arendas A. de Morgan. (1806-1871). Gottlob Frege (1848-1925) Esimest järku predikaatarvutus. Georg Cantor (1845-1918). Hulgateooria ja paradoksid. Bertrand Russell (1872-1970). Paradoksid, tüüpide teooria Alfred Tarski (1902-1983). Objektkeel ja metakeel. Kurt Gödel (1906-1978). Mittetäielikkuse teoreem. Alan Turing (1912-1954). Universaalne programmeeritav arvuti.
annaabi.ee 
