Arama Sonuçları - Daraltılmış: Conference papers and proceedings. - Logique symbolique et mathématique -- Congrès.

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

2024-06-23T16:18:56Z

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: Elektronik Kaynak

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

2024-06-23T16:18:56Z

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: Elektronik Kaynak

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

2024-06-23T16:18:56Z

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: Elektronik Kaynak

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

2024-06-23T16:18:56Z

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

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

2024-06-23T16:18:56Z

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: Elektronik Kaynak

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

2024-06-23T16:18:56Z

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: Elektronik Kaynak

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

2024-06-23T16:18:56Z

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: Elektronik Kaynak

Proceedings of the third Scandinavian Logic Symposium

2024-06-23T16:18:56Z

by Scandinavian Logic Symposium (3rd : 1973 : University of Uppsala)
ScienceDirect http://www.sciencedirect.com/science/book/9780444106797
Format: Elektronik Kaynak

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

2024-06-23T16:18:56Z

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: Elektronik Kaynak

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

2024-06-23T16:18:56Z

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: Elektronik Kaynak

Contributions to non-standard analysis

2024-06-23T16:18:56Z

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: Elektronik Kaynak

Proceedings of the Second Scandinavian Logic Symposium

2024-06-23T16:18:56Z

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: Elektronik Kaynak

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.

2024-06-23T16:18:56Z

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: Elektronik Kaynak

Formal systems and recursive functions

2024-06-23T16:18:56Z

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