|
QA9.A1 F76 2021
|
Frontiers of combining systems : 13th international symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings / |
1 |
|
QA9.A1 F76 2023eb
|
Frontiers of combining systems : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings / |
1 |
|
QA9.A1 G63 1987
|
Gödel remembered : Salzburg 10-12 July 1983 / |
1 |
|
QA9.A1 I54 2013
|
Infinity and truth / |
1 |
|
QA9.A1 I57 1967
|
Logic, methodology and philosophy of science III; proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967; |
1 |
|
QA9.A1 I57 1971
|
Logic, methodology and philosophy of science. Proceedings. |
1 |
|
QA9.A1 I57 1979
|
Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 / |
1 |
|
QA9.A1 I58 2023
|
Logic and argumentation : 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings / |
1 |
|
QA9.A1 I61 1974
|
ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / |
1 |
|
QA9.A1 L37 1978
|
Mathematical logic in South America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / |
1 |
|
QA9.A1 L37 1983
|
Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 / |
1 |
|
QA9.A1 L37 1985
|
Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / |
1 |
|
QA9.A1 L37 1985eb
|
Methods and Applications of Mathematical Logic. |
1 |
|
QA9.A1 L56 1995
|
Advances in linear logic / |
1 |
|
QA9.A1 .L61 1990
|
Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / |
1 |
|
QA9.A1 L63 1972-73
|
Logic Colloquium : symposium on logic held at Boston, 1973 / |
1 |
|
QA9 .A1 L63 1973
|
Logic colloquium '73 : proceedings / |
1 |
|
QA9.A1 L63 1976
|
Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 / |
1 |
|
QA9.A1 L63 1977
|
Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 / |
1 |
|
QA9.A1 L63 1978
|
Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 / |
1 |