Biblioteca CRAI Dulce Chacón - Universidad Europea de Madrid

CRAI Library - Madrid
Your cart is empty.
My folder ( items) | My account

Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Simple Type Theory : A Practical Logic for Expressing and Reasoning About Mathematical Ideas / by William M. Farmer

by Farmer, William M, autor.

Edition: 1st ed 2023Material type: bookE-book Publisher: Cham : Springer International Publishing Imprint Birkhäuser, 2023
Online access: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .M35 2023 EB reference

Add to cart
Algorithms for Constructing Computably Enumerable Sets / by Kenneth J. Supowit

by Supowit, Kenneth Jay, (1957-), autor.

Edition: 1st ed 2023Material type: bookE-book Publisher: Cham : Springer International Publishing, 2023
Online access: Acceso a este recurso digital (usuarios Universidad Europea de Madrid)Digital Resources
Items
Location Call no. Status Vol info Loan type
Acceso Electrónico (UEM) QA76.9 .M35 2023 EB reference

Add to cart
Pages