Pagina nr. 588 di 3515

%

Logic and algorithmic - an international symposium held in honour of Ernst Specker Geneve - L'Enseignement Mathematique, Universite de Geneve, copyr. 1982 Testo Monografico Logic and computation - proceedings of a workshop held at Carnegie Mellon university, June 30-July 2, 1987 / Wilfried Sieg editor Providence, Rhode Island - American mathematical society, copyr. 1990 Testo Monografico Logic and foundations of mathematics - dedicated to Prof. A. Heyting on his 70. birthday / (edited by) D. Van Dalen, J. G. Dijkman, S. C. Kleene, A. S. Troelstra Groningen - Wolters-Noordhoff, 1968 Testo Monografico Logic and philosophy in Italy - some trends and perspectives - essays in honor of Corrado Mangione on his 75th birthday / Edoardo Ballo, Miriam Franchella editors Monza - Polimetrica, (2006) Testo Monografico Logic and random structures - DIMACS workshop November 5-7, 1995 / Ravi B. Boppana, James F. Lynch Editors Providence - American mathematical society, c1997 Testo Monografico Logic colloquium '80 - papers intended for the European Summer Meeting of the Association for symbolic logic / edited by D. van Dalen ... (ed altri) Amsterdam (etc.) - North-Holland, 1982 Testo Monografico Logic colloquium '82 - proceedings of the colloquium held in Florence - 23-28 August, 1982 / edited by G. Lolli, G. Longo, and A. Marcja Amsterdam ; New York ; Oxford - North-Holland, c1984 Testo Monografico Logic colloquium '84 - proceedings of the colloquium held in Manchester, U. K. - July 1984 / editors J. B. Paris, A. J. Wilkie, G. M. Wilmers Amsterdam (etc.) - North-Holland, 1986 Testo Monografico Logic colloquium '85 - proceedings of the colloquium held in Orsay, France - July 1985 / edited by The Paris logic group Amsterdam (etc.) - North-Holland, 1987 Testo Monografico Logic colloquium '87 - proceedings of the colloquium held in Granada, Spain, July 20-25, 1987 / edited by H.-D. Ebbinghaus, J. Fernandez-Prida, M. Garrido, D. Lascar, M. Rodriguez Artalejo Amsterdam etc. - North-Holland, 1989 Testo Monografico Logic colloquium '88 - proceedings of the colloquium held in Padova, Italy, August 22-31, 1988 / edited by R. Ferro, C. Bonotto, S. Valentini, A. Zanardo Amsterdam (etc.) - North-Holland, 1989 Testo Monografico Logic colloquium 2000 - proceedings of the annual European summer meeting of the Association for symbolic logic, held in Paris, France July 23-31, 2000 / edited by Rene Cori, Alexander Razborov, Stevo Todorcevic, Carol Wood Urbana, Ill. - Association for Symbolic Logic ; Wellesley, Mass. - A. K. Peters, c2005 Testo Monografico Logic in the 20th century / Maria Luisa Dalla Chiara ... (ed altri) Milano - Scientia, 1983 Incluso in > Scientia - rivista di scienza - organo internazionale di sintesi scientifica Testo Monografico Logic of computation / edited by Helmut Schwichtenberg Berlin etc. - Springer, published in cooperation with NATO scientific affairs division, c1997 Testo Monografico Logic programming '87 - proceedings of the 6. Conference, Tokyo, Japan, June 22-24, 1987 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.) Berlin etc. - Springer, 1988 Testo Monografico