Mostra el registre d'ítem simple

dc.contributor.authorMorrill, Glyn
dc.date.accessioned2014-01-07T12:48:23Z
dc.date.available2014-01-07T12:48:23Z
dc.date.issued2001
dc.identifier.isbn9788483016565 (en línia)
dc.identifier.urihttp://hdl.handle.net/2099.3/36439
dc.description.abstractAquest llibre presenta la teoria estàndard de la lògica de primer ordre. Conté demostracions completes de bastants dels resultats més importants de la lògica, inclosos la solidesa, la completesa, el teorema de Löwenheim-Skolem, la compacitat, el teorema d'Herbrand, la indecidibilitat i el teorema d'incompletesa de Gödel. Triant entre els mètodes existents més senzills, la matèria és accessible a estudiants de segon cicle d'informàtica, matemàtiques o filosofia.
dc.language.isocat
dc.publisherEdicions UPC
dc.relation.ispartofseriesEdicions virtuals UPC
dc.relation.urihttp://cataleg.upc.edu/record=b1228771
dc.subjectÀrees temàtiques de la UPC::Matemàtiques i estadística::Lògica matemàtica
dc.titleLògica de primer ordre
dc.typeBook
dc.subject.lemacLògica matemàtica
dc.identifier.doi10.5821/ebook-9788483016565
dc.rights.accessRestricted access to the UPC academic community
dc.identifier.cupcb12287714


Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple