Results
|
541.
|
|
|
542.
|
|
|
543.
|
|
|
544.
|
|
|
545.
|
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:
|
|
546.
|
|
|
547.
|
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:
|
|
548.
|
|
|
549.
|
|
|
550.
|
|
|
551.
|
|
|
552.
|
|
|
553.
|
|
|
554.
|
|
|
555.
|
|
|
556.
|
|
|
557.
|
|
|
558.
|
|
|
559.
|
|
|
560.
|
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:
|