> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: The provably total search problems of bounded arithmetic Beteiligte: Skelley, Alan; Thapen, Neil Erschienen: Wiley, 2011 Erschienen in: Proceedings of the London Mathematical Society Sprache: Englisch DOI: 10.1112/plms/pdq044 ISSN: 0024-6115 Schlagwörter: General Mathematics Entstehung: Anmerkungen: