01124nam a2200289 i 450099100139767970753620020507192731.0931002s1984 ||| ||| | ita b10841970-39ule_instLE01311670ExLDip.to MatematicaengAMS 03BAMS 03B10AMS 03CDe Carlo, Francesca537041Sull'esistenza di modelli per teorie del primo ordine. Tesi di laurea /laureanda F. De Carlo ; relat. D. LenziLecce :Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica,a.a. 1984-85Classical first-order logicGeneral logicModel theoryLenzi, Domenico.b1084197002-04-1428-06-02991001397679707536LE013 TES 1984/85 DEC11LE013N-9le013-E0.00-l- 00000.i1095205628-06-02Sull'esistenza di modelli per teorie del primo ordine. Tesi di laurea918881UNISALENTOle01301-01-93ma -engxx 01