Results
|
1.
|
|
|
2.
|
|
|
3.
|
The Kleene Symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A./ edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen. by
- Kleene, Stephen Cole, 1909-1994
- Barwise, Jon
- Keisler, H. Jerome
- Kunen, Kenneth
- Kleene Symposium (1978 : Madison, Wis.)
Series: Studies in logic and the foundations of mathematics ; v. 101.
Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1980
Availability: Items available for loan: Castorina (1)Call number: 510.92 K64 1980 IMPA.
Found in Open Library:
|
|
4.
|
|
|
5.
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
10.
|
|
|
11.
|
|
|
12.
|
|
|
13.
|
Logic, methodology, and philosophy of science VI: proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979/ edited by L. Jonathan Cohen ... [et al.]. by
- International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany)
- Cohen, L. Jonathan (Laurence Jonathan)
Series: Studies in logic and the foundations of mathematics ; v. 104.
Publication details: Amsterdam ; New York: Warszawa: New York: North-Holland, PWN-Polish Scientific Publishers, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1982
Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1982 IMPA.
Found in Open Library:
|
|
14.
|
|
|
15.
|
|
|
16.
|
The L. E. J. Brouwer Centenary Symposium: proceedings of the conference held in Noordwijkerhout, 8-13 June 1981/ edited by A.S. Troelstra and D. van Dalen. by
- L.E.J. Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands))
- Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966
- Troelstra, A. S. (Anne Sjerp)
- Dalen, D. van (Dirk), 1932-
Series: Studies in logic and the foundations of mathematics ; v. 110.
Publication details: Amsterdam ;: New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1982
Availability: Items available for loan: Castorina (1)Call number: 511.3 L534 1982 IMPA.
Found in Open Library:
|
|
17.
|
Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976/ edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. by
- Latin-American Symposium on Mathematical Logic (3rd :: 1976 :: State University of Campinas)
- Arruda, A. I. (Ayda Ignez)
- Costa, Newton C. A. da
- Chuaqui, R
Series: Studies in logic and the foundations of mathematics ; v. 89.
Publication details: Amsterdam; New York; New York: North-Holland; North-Holland/Elsevier, 1977
Availability: Items available for loan: Castorina (1)Call number: 511.8 N812 1977 IMPA.
Found in Open Library:
|
|
18.
|
|
|
19.
|
Logic Colloquium '77: proceedings of the colloquium held in Wroclaw, August 1977/ edited by Angus Macintyre, Leszek Pacholski, Jeff Paris. by
- Logic Colloquium (1977 : Wroclaw, Poland)
- Macintyre, A., (Angus), 1941-
- Pacholski, Leszek
- Paris, Jeff
Series: Studies in logic and the foundations of mathematics ; v. 96.
Publication details: Amsterdam ; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1978
Availability: Items available for loan: Castorina (1)Call number: 511.3 L832 1978 IMPA.
Found in Open Library:
|
|
20.
|
|