$Generalized inductive definitions [Elektronische Ressource] : : the {_m63-calculus [my-calculus] and {_P63_1hn1_1tn2-comprehension [Pi 1 2-comprehension] / vorgelegt von Michael Möllerfeld$

Generalized inductive definitions [Elektronische Ressource] : : the {_m63-calculus [my-calculus] and {_P63_1hn1_1tn2-comprehension [Pi 1 2-comprehension] / vorgelegt von Michael Möllerfeld

147

pages

Documents

2003

Lire

Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres

147

pages

Ebook

2003

Lire

Le téléchargement nécessite un accès à la bibliothèque YouScribe Tout savoir sur nos offres

Publié par

westfalische_wilhelms-universitat_munster

Publié le

01 janvier 2003

Nombre de lectures

2002hael2MöllerfeldGeneralizedand1e-comprehensionDenitionsThebhenheLogikundundakultätvh2002unghGeneralizedderheneWDenitionsersitätThevMöllerfeldandMathematik1Informatik2-comprehensionInaugural-DissertationFzurderErlangungdesWilhelms-UnivDoktorgradesMünsterderorgelegtonhaftenhaelimFachmderInformatik:an:eProf.Dr.Mathematik:F.oNattererageErsterhenLogik:hangewter:TProf.28.01.2003Dr.epkW.TPderohlersündlicZwPrüfungeneiterhe28.01.2003h28.01.2003ter:andteProf.28.01.2003Dr.agPPromotion:.DekKMamaFür.ry.0.Intro..1.1.Systems.of..Denitions.11.1.a,ryorder5.barithmetic..6...72.7.a.........................ys...theory...ector...........v......11Systems1.btheory.......4.b.......denitions.order.......the.......61.ligh..................and.....Companion..............13.......48.set.4.a.....................stabilit............5.set.5.a..............b...........16.1.d.Göstringstheoryandsubsystems.of.the..ecto.6.a.Sp.............6.b.and..........19Nonmonotone2.Generalized.quantiers.and.the.75ry21.

Voir