Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten 2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.
 
 

Ergebnis der Suche nach: "Leigh"

Zurück zur Trefferliste


Treffer 98 von 1276 < < > <



Artikel
Link zu diesem Datensatz https://d-nb.info/1308040725
Titel Revisiting the conservativity of fixpoints over intuitionistic arithmetic / by Mattias Granberg Olsson, Graham E. Leigh
Person(en) Granberg Olsson, Mattias (Verfasser)
Leigh, Graham E. (Verfasser)
Organisation(en) SpringerLink (Online service) (Sonstige)
Umfang/Format Online-Ressource, 1 online resource.
Persistent Identifier URN: urn:nbn:de:101:1-2023103110143917861168
DOI: 10.1007/s00153-023-00878-2
URL https://doi.org/10.1007/s00153-023-00878-2
Zeitliche Einordnung Erscheinungsdatum: 2023
DDC-Notation 511.3 (maschinell ermittelte DDC-Kurznotation)
Sprache(n) Englisch (eng)
Beziehungen Enthalten in: Archive for mathematical logic (28.7.2023: 1-27)
Sachgruppe(n) 510 Mathematik

Online-Zugriff Archivobjekt öffnen




Treffer 98 von 1276
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration