Your search returned 8 results.

Sort
Results
1.
Fundamentals of stability theory/ John T. Baldwin. by
  • Baldwin, John T
Series: Perspectives in mathematical logic
Publication details: Berlin ; New York: Springer-Verlag, c1988
Availability: Items available for loan: Castorina (1)Call number: 511.3 B181f 1988 IMPA.

2.
Admissible sets and structures: an approach to definability theory/ Jon Barwise. by
  • Barwise, Jon
Series: Perspectives in mathematical logic
Publication details: Berlin; New York: Springer-Verlag, 1975
Availability: Items available for loan: Castorina (2)Call number: 511.3 B296a 1975 IMPA, ...

3.
Constructibility/ Keith J. Devlin. by
  • Devlin, Keith J
Series: Perspectives in mathematical logic
Publication details: Berlin ; New York: Springer-Verlag, 1984
Availability: Items available for loan: Castorina (1)Call number: 511.322 D497c 1984 IMPA.

4.
The higher infinite: large cardinals in set theory from their beginnings/ Akihiro Kanamori. by
  • Kanamori, Akihiro
Series: Perspectives in mathematical logic
Publication details: Berlin ; New York: Springer-Verlag, c1994
Availability: Items available for loan: Castorina (1)Call number: 511.322 IMPA.

5.
Degrees of unsolvability: local and global theory/ Manuel Lerman. by
  • Lerman, M. (Manuel), 1943-
Series: Perspectives in mathematical logic
Publication details: Berlin ; New York: Springer-Verlag, 1983
Availability: Items available for loan: Castorina (1)Call number: 511.3 L616d 1983 IMPA.

6.
Basic set theory/ Azriel Levy. by
  • Levy, Azriel
Series: Perspectives in mathematical logic
Publication details: Berlin ; New York: Springer-Verlag, 1979
Availability: Items available for loan: Castorina (1)Call number: 511.322 IMPA.

7.
Computability in analysis and physics/ Marian B. Pour-El, J. Ian Richards. by
  • Pour-El, Marian B. (Marian Boykan), 1928-
  • Richards, J. Ian (Jonathan Ian), 1936-
Series: Perspectives in mathematical logic
Publication details: Berlin ; New York: Springer-Verlag, c1989
Availability: Items available for loan: Castorina (1)Call number: 511 P877c 1989 IMPA.

8.
Recursively enumerable sets and degrees: a study of computable functions and computably generated sets/ Robert I. Soare. by
  • Soare, R. I. (Robert Irving), 1940-
Series: Perspectives in mathematical logic
Publication details: Berlin ; New York: Springer-Verlag, c1987
Availability: Items available for loan: Castorina (1)Call number: 511.3 S676r 1987 IMPA.

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


Powered by Koha