01004nam a2200265Ia 4500001000600000003000900006008004100015040001300056040001300069041001300082100002400095100002900119245008500148245005000233250001100283260001200294260001000306260004900316300005700365500022300422650001400645650003100659700002000690700002800710B4343IT-RoPAU130308s9999    xx            000 0 und d  aIT-RoPAU  cIT-RoPAU  aITALIANO  aD'Agostino Marcello  gCodice Aut. SPICS: 38258  aDeduzione analitica classica, significato degli operatori logici e complessità  bSemantica, Complessita' e Linguaggio Naturale  a1a ed.  aBOLOGNA  bClueb  c1991 [1° Ed.:1991 - Ed.Ling.Originale:1991]  a"37 p. (prefazione: no ; testo: 37 [pagine: 21-57])"  aPrincipio di Estensione Conservativa. Tablaux Non Sono una Soluzione. Sistema Ke. completezza del Ke. Proprietà della Sottoformula in Ke. Ke/Refutazioni Sono una Soluzione. Complessità Relativa delle Dimostrazioni.  aSEMANTICA  eCodice materia Spics: 3301  aMondadori Marco  gCodice Aut. SPICS: 3649