Results
|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
Logic and structure/ Dirk van Dalen. by - Dalen, D. van (Dirk), 1932-
Series: Universitext
Edition: 2nd ed.
Publication details: Berlin ; New York: Springer-Verlag, c1983
Availability: Items available for loan: Castorina (1)Call number: 511.3 D139l 1983 IMPA.
Found in Open Library:
|
|
|
4.
|
Logic and structure/ Dirk van Dalen. by - Dalen, D. van (Dirk), 1932-
Series: Universitext
Edition: 3rd augm. ed.
Publication details: Berlin; New York: Springer-Verlag, c1994
Availability: Items available for loan: Castorina (1)Call number: 511.3 D139l 1994 IMPA.
Found in Open Library:
|
|
|
5.
|
|
|
|
6.
|
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:
|
|
|
7.
|
|
