Results
|
81.
|
|
|
82.
|
|
|
83.
|
|
|
84.
|
|
|
85.
|
Collected logical works. by
Publication details: La Salle, IL.: Open Court, 1952
Availability: Items available for reference: Castorina: Not For Loan (2).
Found in Open Library:
|
|
86.
|
|
|
87.
|
|
|
88.
|
Computability and logic/ George Boolos, Richard Jeffrey. by
- Boolos, George
- Jeffrey, Richard C [joint author.]
Edition: 2d ed.
Publication details: Cambridge, UK: New York: Cambridge University Press, 1980
Availability: Items available for loan: Castorina (1)Call number: 511.3 B724c 1980 IMPA.
Found in Open Library:
|
|
89.
|
|
|
90.
|
|
|
91.
|
|
|
92.
|
Advances in contemporary logic and computer science: proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil/ Walter A. Carnielli, Itala M.L. D'Ottaviano, editors. by
- Brazilian Conference on Mathematical Logic (11th: 1996: Salvador, Brazil)
- Carnielli, Walter A. (Walter Alexandre)
- D'Ottaviano, Itala M. L, 1944-
Series: Contemporary mathematics (American Mathematical Society) ; v. 235.
Publication details: Providence, R.I.: American Mathematical Society, c1999
Availability: Items available for loan: Castorina (1).
Found in Open Library:
|
|
93.
|
|
|
94.
|
|
|
95.
|
|
|
96.
|
|
|
97.
|
|
|
98.
|
|
|
99.
|
|
|
100.
|
|