Periódicos correntes

Amazon cover image

Image from Amazon.com

Image from OpenLibrary

See Baker & Taylor

Image from Baker & Taylor

Normal view MARC view ISBD view

Classical recursion theory: the theory of functions and sets of natural numbers/ Piergiorgio Odifreddi.

By:

Odifreddi, Piergiorgio, 1950-

Series: Studies in logic and the foundations of mathematics ; v. 125.Publication details: Amsterdam; New York: North-Holland, New York: Sole distributors for the U.S.A. and Canada, Elsevier Science, 1989.Description: xvii, 668 p.: ill.; 23 cmISBN:

0444872957

Subject(s):

DDC classification:

511.3 O24c

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	Castorina Estantes Abertas (Open Shelves)	Livros (Books)	511.3 O24c 1989 IMPA (Browse shelf(Opens below))	1	Available		39063000100431

Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)

Previous	No cover image available No cover image available		No cover image available No cover image available				No cover image available No cover image available	Next
Previous	511.3 N791i 1956 IMPA Idee und Wahrscheinlichkeit.	511.3 N814 1995 IMPA Nonstandard analysis in practice/	511.3 N943i 1964 IMPA Introduction à la logique mathématique/	511.3 O24c 1989 IMPA Classical recursion theory: the theory of functions and sets of natural numbers/	511.3 O65 1984 IMPA Orders: description and roles : in set theory, lattices, ordered groups, topology, theory of models and relations, combinatorics, effectiveness, social sciences : proceedings of the Conference on Ordered Sets and their Applications, Château de la Tourette, l'Arbresle, July 5-11, 1982 : Ordres : description et rôles : en théorie des ensembles, des treillis des groupes ordonnés; entopologie, théorie des modèles et des relations, combinatoire, effectivité, science sociales : actes de la Conférence sur les Ensembles Ordonnés et leur[s] Applications, Château de la Tourette, L'Arbresle, juillet 5-11, 1982 /	511.3 O66c 1993 IMPA Complexity of proofs and their transformations in axiomatic theories/	511.3 P124l 1912 IMPA La logique déductive dans sa dernière phase de développement/	Next

Includes indexes.

Bibliography: p. 603-641.

There are no comments on this title.

to post a comment.

© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto

Powered by Koha