Your search returned 2 results. Subscribe to this search

Not what you expected? Check for suggestions
|
Analysis and synthesis of logics : how to cut and paste reasoning systems / Walter Carnielli...[et al.]Publication:Dordrecht, Netherlands : Springer, cop. 2008Description: xvi, 600 p. : il. ; 24 cmAvailability: Copies available for loan: Biblioteca da Universidade da Madeira[510.6 ANA] (1).

Computability : computable functions, logic, and the Foundations of mathematics / Richard L. Epstein, Walter A. CarnielliPublication:California : Wadsworth & Brooks : Cole Advanced Books & Software, cop. 1989Description: XVII, 297 p. ; 24 cmAvailability: Copies available for loan: Biblioteca da Universidade da Madeira[004 EPS Com] (1).

Biblioteca da Universidade da Madeira
Telefone (geral): 291705070. Responsável: Doutora Iolanda Silva - email: iolanda.silva@staff.uma.pt; Serviço de Referência: Mestre Hélder Maurício - email: helder.mauricio@staff.uma.pt; Serviço de Gestão Digital: Dr. António Freitas – email: antonio.freitas@staff.uma.pt
Morada: Campus Universitário da Penteada, 9000-390 - Funchal - Madeira

Powered by Koha