Search Results for Logic, Symbolic and mathematical -- Congresses.

Logic, computation, hierarchies

2026-09-28T20:05:24Z

by Selivanov, Victor, honouree.
Click to View
Format: Electronic Resources

Proceedings of the 12th Asian Logic Conference, Wellington, New Zealand, 15-20 December 2011

2026-09-28T20:05:24Z

by Asian Logic Conference (12th : 2011 : Wellington, N.Z.)
Click to View
Format: Electronic Resources

Proceedings of the 11th Asian Logic Conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, 22-27 June 2009

2026-09-28T20:05:24Z

by Asian Logic Conference (11th : 2009 : Singapore)
Click to View
Format: Electronic Resources

Mathematical logic in Asia proceedings of the 9th Asian Logic Conference, Novosibirsk, Russia, 16-19 August 2005

2026-09-28T20:05:24Z

by Asian Logic Conference (9th : 2005 : Novosibirsk, Russia)
Click to View
Format: Electronic Resources

Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968

2026-09-28T20:05:24Z

by Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)
ScienceDirect http://www.sciencedirect.com/science/book/9780720422573
Format: Electronic Resources

Infinity and truth

2026-09-28T20:05:24Z

by Chong, C.-T. (Chi-Tat), 1949-
Click to View
Format: Electronic Resources

Frege importance and legacy

2026-09-28T20:05:24Z

by Schirn, Matthias.
Click to View
Format: Electronic Resources

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966

2026-09-28T20:05:24Z

by Logic Colloquium (11th : 1966 : Hannover, Germany)
ScienceDirect http://www.sciencedirect.com/science/book/9780444534149
Format: Electronic Resources

Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965

2026-09-28T20:05:24Z

by Logic Colloquium (10th : 1965 : University of Leicester)
ScienceDirect http://www.sciencedirect.com/science/book/9780444534101
Format: Electronic Resources

The theory of models proceedings.

2026-09-28T20:05:24Z

by International Symposium on the Theory of Models (1963 : Berkeley, Calif.)
ScienceDirect http://www.sciencedirect.com/science/book/9780720422337
Format: Electronic Resources

The axiomatic method

2026-09-28T20:05:24Z

by Henkin, Leon.
ScienceDirect http://www.sciencedirect.com/science/book/9780444533920
Format: Electronic Resources

Proceedings of the 10th Asian Logic Conference, Kobe, Japan, 1-6 September 2008

2026-09-28T20:05:24Z

by Asian Logic Conference (10th : 2008 : Kōbe Daigaku)
Click to View
Format: Electronic Resources

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988

2026-09-28T20:05:24Z

by Logic Colloquium (1988 : Padova, Italy)
ScienceDirect http://www.sciencedirect.com/science/book/9780444874559 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=127
Format: Electronic Resources

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981

2026-09-28T20:05:24Z

by Logic Colloquium (1981 : Marseille, France)
ScienceDirect http://www.sciencedirect.com/science/book/9780444864178 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=107
Format: Electronic Resources

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980

2026-09-28T20:05:24Z

by Logic Symposion (1980 : Patra, Greece)
ScienceDirect http://www.sciencedirect.com/science/book/9780444864765 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=109
Format: Electronic Resources

Logic colloquium '73 : proceedings

2026-09-28T20:05:24Z

by Logic Colloquium (1973 : Bristol)
ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=82 ScienceDirect https://www.sciencedirect.com/science/book/9780444106421 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/80
Format: Electronic Resources

Proceedings of the Second Scandinavian Logic Symposium

2026-09-28T20:05:24Z

by Scandinavian Logic Symposium (2nd : 1970 : University of Oslo)
ScienceDirect https://www.sciencedirect.com/science/book/9780720422597 ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/63 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=63
Format: Electronic Resources

Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968.

2026-09-28T20:05:24Z

by International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem)
ScienceDirect http://www.sciencedirect.com/science/book/9780720422559 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=59
Format: Electronic Resources

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981

2026-09-28T20:05:24Z

by Southeast Asian Conference on Logic (1981 : Singapore)
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus. ScienceDirect http://www.sciencedirect.com/science/book/9780444867063 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=111 ScienceDirect https://www.sciencedirect.com/science/book/9780444867063
Format: Electronic Resources

Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics

2026-09-28T20:05:24Z

by Conference on Alternative Semantics (1970 : Temple University)
ScienceDirect http://www.sciencedirect.com/science/book/9780720422696 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/68
Format: Electronic Resources

Recent progress in the Boolean domain

2026-09-28T20:05:24Z

by Steinbach, Bernd, editor.
Click to View
Format: Electronic Resources

Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987

2026-09-28T20:05:24Z

by Logic Colloquium (1987 : Granada, Spain)
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus. ScienceDirect http://www.sciencedirect.com/science/book/9780444880222 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=129 ScienceDirect https://www.sciencedirect.com/science/book/9780444880222
Format: Electronic Resources

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978

2026-09-28T20:05:24Z

by Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile)
ScienceDirect http://www.sciencedirect.com/science/book/9780444854025
Format: Electronic Resources

Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978

2026-09-28T20:05:24Z

by Logic Colloquium (1978 : Mons, Belgium)
ScienceDirect http://www.sciencedirect.com/science/book/9780444853783 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/97
Format: Electronic Resources

Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977

2026-09-28T20:05:24Z

by Logic Colloquium (1977 : Wrocław, Poland)
ScienceDirect http://www.sciencedirect.com/science/book/9780444851789 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/96
Format: Electronic Resources

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976

2026-09-28T20:05:24Z

by Logic Colloquium (1976 : Oxford)
ScienceDirect http://www.sciencedirect.com/science/book/9780720406917
Format: Electronic Resources

Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979

2026-09-28T20:05:24Z

by International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany)
Available from ScienceDirect. Online version available for university members only. This requires an institutional login off-campus. ScienceDirect http://www.sciencedirect.com/science/book/9780444854230 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=104
Format: Electronic Resources

New perspectives on games and interaction

2026-09-28T20:05:24Z

by Apt, Krzysztof R., 1949-
Click to View
Format: Electronic Resources

Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

2026-09-28T20:05:24Z

by International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)
ScienceDirect http://www.sciencedirect.com/science/book/9780444104915 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/74 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=74
Format: Electronic Resources

Eleventh Scandinavian Conference on Artificial Intelligence SCAI 2011

2026-09-28T20:05:24Z

by Scandinavian Conference on Artificial Intelligence (11th : 2011)
Click to View
Format: Electronic Resources

Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London

2026-09-28T20:05:24Z

by Augustus de Morgan Workshop (7th : 2005 : London, England)
Click to View
Format: Electronic Resources

Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995

2026-09-28T20:05:24Z

by Sambin, Giovanni.
Click to View
Format: Electronic Resources

Advances in technological applications of logical and intelligent systems selected papers from the Sixth Congress on Logic Applied to Technology

2026-09-28T20:05:24Z

by Congress of Logic Applied to Technology (6th : 2007 : Santos, Brazil)
Click to View
Format: Electronic Resources

Symbolic computation and education

2026-09-28T20:05:24Z

by Li, Shangzhi, 1947-
Click to View
Format: Electronic Resources

Advances in logic, artificial intelligence, and robotics LAPTEC 2002

2026-09-28T20:05:24Z

by Congress of Logic Applied to Technology (3rd : 2002 : São Paulo, Brazil)
Click to View
Format: Electronic Resources

Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California

2026-09-28T20:05:24Z

by Halpern, Joseph Y., 1953-
ScienceDirect https://www.sciencedirect.com/science/book/9780934613040
Format: Electronic Resources

Contributions to non-standard analysis

2026-09-28T20:05:24Z

by Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany)
ScienceDirect http://www.sciencedirect.com/science/book/9780720420654 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=69
Format: Electronic Resources

Logic, methodology and philosophy of science : proceedings of the 1960 international congress

2026-09-28T20:05:24Z

by International Congress of Logic, Methodology, and Philosophy of Science (1960)
ScienceDirect http://www.sciencedirect.com/science/book/9780804700962
Format: Electronic Resources

Logic, methodology, and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991

2026-09-28T20:05:24Z

by International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden)
ScienceDirect http://www.sciencedirect.com/science/book/9780444893413 ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=134 ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/134
Format: Electronic Resources

Logic, methodology, and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983

2026-09-28T20:05:24Z

by International Congress of Logic, Methodology, and Philosophy of Science (7th : 1983 : Salzburg, Austria)
ScienceDirect http://www.sciencedirect.com/science/book/9780444876560 ScienceDirect https://www.sciencedirect.com/science/book/9780444876560
Format: Electronic Resources

Formal systems and recursive functions

2026-09-28T20:05:24Z

by Crossley, John N.
ScienceDirect http://www.sciencedirect.com/science/book/9780444534057 ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=40
Format: Electronic Resources

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92

2026-09-28T20:05:24Z

by IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)
ScienceDirect http://www.sciencedirect.com/science/book/9780444898807
Format: Electronic Resources

Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994)

2026-09-28T20:05:24Z

by Conference on Theoretical Aspects of Reasoning about Knowledge (5th : 1994 : Pacific Grove, Calif.)
ScienceDirect http://www.sciencedirect.com/science/book/9781483214535
Format: Electronic Resources