BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Herbrandized modified realizability

Participants in the publication
Gilda Ferreira (Author)
UNIVERSIDADE ABERTA
 CMAFcIO
 Paulo Firmino (Author)
CMAFcIO
Date of Submisson/Request
2023-11-07
Date of Acceptance
2024-03-08
Date of Publication
2024-04-04

Where published
Archive for Mathematical Logic

Publication Identifiers
ISSN - 0933-5846

Publisher
Springer Science and Business Media LLC

Volume
63
Number
5-6

Number of pages
19
Starting page
703
Last page
721

Document Identifiers
DOI - https://doi.org/10.1007/s00153-024-00917-6
URL - http://dx.doi.org/10.1007/s00153-024-00917-6


Export

APA
Gilda Ferreira, Paulo Firmino, (2024). Herbrandized modified realizability. Archive for Mathematical Logic, 63, 703-721. ISSN 0933-5846. eISSN . http://dx.doi.org/10.1007/s00153-024-00917-6

IEEE
Gilda Ferreira, Paulo Firmino, "Herbrandized modified realizability" in Archive for Mathematical Logic, vol. 63, pp. 703-721, 2024. 10.1007/s00153-024-00917-6

BIBTEX
@article{61920, author = {Gilda Ferreira and Paulo Firmino}, title = {Herbrandized modified realizability}, journal = {Archive for Mathematical Logic}, year = 2024, pages = {703-721}, volume = 63 }