![book Logic Colloquium '82](/covers/files_170/1145000/617744ed2a1d87d3289c5b4c9546f4ff-d.gif)
- Author: G. Lolli G. Longo and A. Marcja (Eds.)
- Language: English
- Year: 1984
![book Intensional Mathematics](/covers/files_170/1145000/3c2885d70bebec40d3bc88486887bc07-d.jpg)
- Author: Stewart Shapiro (Eds.)
- Language: English
- Year: 1985
![book Foundations of Infinhesimal Stochastic Ankysis](/covers/files_170/1145000/919901b4e7287989f2e091f4a14fce1b-d.jpg)
- Author: K.D. Stroyan and JosГ© Manuel Bayod (Eds.)
- Language: English
- Year: 1986
![book Logic Colloquium '84](/covers/files_170/1145000/108d6507c86e0c92383f8fbcf917cf78-d.gif)
- Author: J.B. Paris A.J. Wilkie and G.M. Wilmers (Eds.)
- Language: English
- Year: 1986
![book Constructivism in Mathematics: An Introduction](/covers/files_170/1145000/6040060099053a83f98c6c1b7ac8ae51-d.jpg)
- Author: Anne S. Troelstra Dirk van Dalen
- Year: 1988
![book Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1](/covers/files_170/1145000/76245075db3c0dcbc5316120b726e80d-d.jpg)
- Author: Piergiorgio Odifreddi
- Language: English
- Year: 1992
![book Logic Colloquium '88, Proceedings of the Colloquium held in Padova](/covers/files_170/1145000/afd7bea95cf01718d5b6498a102e169a-d.jpg)
- Author: R. Ferro C. Bonotto S. Valentini and A. Zanardo (Eds.)
- Language: English
- Year: 1989