Academic Journal
Προβολή σε EDS

Mathematical Structures Within Simple Type Theory

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Mathematical Structures Within Simple Type Theory
Συγγραφείς: González-Castillo, SamuelAff1, IDs11225024101331_cor1
Πηγή: Studia Logica: An International Journal for Symbolic Logic. 113(6):1513-1542
Βάση Δεδομένων: Springer Nature Journals
FullText Text:
  Availability: 0
CustomLinks:
  – Url: http://www.jstor.org/openurl?issn=00393215&date=2025&volume=113&issue=6&spage=1513
    Name: JSTOR (all content) (s7799221)
    Category: fullText
    Text:
    Icon: https://imageserver.ebscohost.com/branding/jstor/iconJSTOR.gif
    MouseOverText: Full Text from JSTOR
Header DbId: edssjs
DbLabel: Springer Nature Journals
An: edssjs.45D401A
RelevancyScore: 1049
AccessLevel: 2
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 1048.91345214844
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Mathematical Structures Within Simple Type Theory
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22González-Castillo%2C+Samuel%22">González-Castillo, Samuel</searchLink><relatesTo>Aff1, IDs11225024101331_cor1</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <i>Studia Logica: An International Journal for Symbolic Logic</i>. 113(6):1513-1542
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edssjs&AN=edssjs.45D401A
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/s11225-024-10133-1
    Languages:
      – Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 30
        StartPage: 1513
    Titles:
      – TitleFull: Mathematical Structures Within Simple Type Theory
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: González-Castillo, Samuel
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 12
              Type: published
              Y: 2025
          Identifiers:
            – Type: issn-print
              Value: 00393215
            – Type: issn-print
              Value: 15728730
          Numbering:
            – Type: volume
              Value: 113
            – Type: issue
              Value: 6
          Titles:
            – TitleFull: Studia Logica: An International Journal for Symbolic Logic
              Type: main
ResultId 1