Showing 1 - 4 results of 4 for search 'Queiroz, Ruy J. G. B. de', query time: 0.02s Narrow Search
  1. 1
    The functional interpretation of logical deduction
    by Queiroz, Ruy J. G. B. de
    Published 2012
    Click for online access
    eBook
    Save to List
    Saved in:
  2. 2
    Logic, language, information, and computation : 28th International Workshop, WOLLIC 2022, Iaşi, Romania, September 20-23, 2022, proceedings
    Published 2022
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:
  3. 3
    Logic, language, information, and computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
    Published 2023
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:
  4. 4
    Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings
    Published 2021
    Other Authors: Click for online access
    eBook
    Save to List
    Saved in:

Search Tools: