Biblioteca do ISEL

Your cart is empty.

Biblioteca do ISEL

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
An introduction to mathematical logic and type theory : to truth through proof / Peter B. AndrewsPublication: Dordrecht : Kluwer Academic Publishers, 2002Description: XVIII, 390 p. : il. ; 25 cmAvailability: Items available for loan: [AND. 51] (1).

Place hold Add to cart
Introdução à teoria das distribuições / J. Campos FerreiraPublication: Lisboa : Fundação Calouste Gulbenkian, 1993Description: 254 p. : il. ; 23 cm.Availability: Items available for loan: [FER. 519.2] (6). Items available for reference: [FER. 519.2] (1).

Place hold Add to cart

Informática-ISEL