Bibliotecas UA catálogo › Detalhes para: Classical recursion theory

Formato normal Formato MARC Formato ISBD

Classical recursion theory / Piergiorgio Odifreddi

Autor: Odifreddi , PiergiorgioLíngua: Inglês.País: Holanda.ISBN: 0-444-50205-X ; 0-444-89483-7.Publicação: Amsterdam : Elsevier, 1999Descrição: 2 vol : ilColeção: (Studies in logic and the foundations of mathematics ; 125, 143)Assunto : Funções recursivasCDU: 510

Exemplares ( 2 )

Tipo de documento	Localização	Cota	Informação volume	Estado	Data de devolução	Código de barras	Reservas
Livro	Biblioteca da UA Piso 4 (Avançado)	510A.263V.1 (Ver prateleira)	1	Disponível		144010
Livro	Biblioteca da UA Piso 4 (Avançado)	510A.263V.2 (Ver prateleira)	2	Disponível		144011

Total de reservas 0

Fechar visualizador de prateleira

Anterior		Sem imagem de capa disponível				Sem imagem de capa disponível		Seguinte
Anterior	510A.261 Mathematical modelling	510A.262 Surfaces having no regular hypermaps	510A.263V.1 Classical recursion theory	510A.263V.2 Classical recursion theory	510A.264 Sets and proofs	510A.265 Mathematics subject classification 2000	510A.266.3ed The language of first-order logic	Seguinte