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
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres

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

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

Description

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.

Sujets

Informations

Publié par
Publié le 01 janvier 2003
Nombre de lectures 23

Exrait

  • Accueil Accueil
  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • BD BD
  • Documents Documents