Mathematical Structures Within Simple Type Theory

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
1 Online-Ressource.
Sprache
Englisch

Erschienen in
Mathematical Structures Within Simple Type Theory ; day:23 ; month:7 ; year:2024 ; pages:1-30
Studia logica ; (23.7.2024), 1-30

Urheber
González-Castillo, Samuel
Beteiligte Personen und Organisationen
SpringerLink (Online service)

DOI
10.1007/s11225-024-10133-1
URN
urn:nbn:de:101:1-2410090815307.186568015251
Rechteinformation
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:33 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • González-Castillo, Samuel
  • SpringerLink (Online service)

Ähnliche Objekte (12)