Search Results for Congresses.

|

|

|

Click to Render in ADA Mode

|

Help

Remember to clear the cache and close the browser window.

Home

Search Limit

8

Search Field

Search For:

Advanced Search

Search Results Electronic Resources

Limit Search Results

Narrowed by:

Delete search term Logic, Symbolic and mathematical.

+

Subject: Logic, Symbolic and mathematical.

Author

Association for Symbolic Logic.

(3)

Suppes, Patrick, 1922-2014.

(3)

Crossley, John N.

(2)

International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.

(2)

Tarski, Alfred, 1901-1983.

(2)

ACM Digital Library.

(1)

Academia Republicii Socialiste România.

(1)

Addison, J. W. (John West), 1930- editor.

(1)

American Association for Artificial Intelligence.

(1)

Arruda, A. I. (Ayda Ignez)

(1)

Association for Computing Machinery.

(1)

Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim.

(1)

Bar-Hillel, Yehoshua.

(1)

Boffa, Maurice.

(1)

Chong, C.-T. (Chi-Tat), 1949-

(1)

(1)

Claesen, Luc J. M.

(1)

Cohen, L. Jonathan (Laurence Jonathan)

(1)

Commission of the European Communities.

(1)

Conference on Alternative Semantics (1970 : Temple University)

(1)

Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo)

(1)

Conference on Theoretical Aspects of Reasoning about Knowledge (5th : 1994 : Pacific Grove, Calif.)

(1)

Costa, Newton C. A. da.

(1)

Dalen, D. van (Dirk), 1932-

(1)

(1)

Dummett, Michael, 1925-2011.

(1)

Ebbinghaus, Heinz-Dieter, 1939-

(1)

Einstein Institute of Mathematics.

(1)

(1)

Fenstad, Jens Erik, editor.

(1)

Ferro, R. (Ruggero)

(1)

Gandy, R. O. (Robin O.)

(1)

Gordon, Michael J. C., 1948-

(1)

Halpern, Joseph Y., 1953-

(1)

(1)

Herbrand, Jacques, 1908-1931.

(1)

Hyland, John Martin Elliott.

(1)

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)

(1)

International Business Machines Corporation.

(1)

International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem)

(1)

International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania)

(1)

International Congress of Logic, Methodology, and Philosophy of Science (1960)

(1)

International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany)

(1)

International Congress of Logic, Methodology, and Philosophy of Science (7th : 1983 : Salzburg, Austria)

(1)

International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden)

(1)

International Mathematical Union.

(1)

International Symposium on the Theory of Models (1963 : Berkeley, Calif.)

(1)

Interuniversity Micro-Electronics Center.

(1)

(1)

Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile)

(1)

Leblanc, Hugues, 1924-

(1)

Logic Colloquium (10th : 1965 : University of Leicester)

(1)

Logic Colloquium (11th : 1966 : Hannover, Germany)

(1)

Logic Colloquium (1973 : Bristol)

(1)

Logic Colloquium (1976 : Oxford)

(1)

Logic Colloquium (1977 : Wrocław, Poland)

(1)

Logic Colloquium (1978 : Mons, Belgium)

(1)

Logic Colloquium (1981 : Marseille, France)

(1)

Logic Colloquium (1987 : Granada, Spain)

(1)

Logic Colloquium (1988 : Padova, Italy)

(1)

Logic Symposion (1980 : Patra, Greece)

(1)

Luxemburg, W. A. J., 1929-

(1)

Macintyre, Angus.

(1)

Marcus, Ruth Barcan.

(1)

McAloon, Kenneth.

(1)

Metakides, George, 1945-

(1)

Myhill, John, 1923-1987.

(1)

Nagel, Ernest, 1901-1985.

(1)

Pacholski, Leszek.

(1)

Paris, J. B. (Jeff B.)

(1)

(1)

Robinson, Abraham, 1918-1974, editor.

(1)

Rose, Harvey Ernest.

(1)

Scandinavian Logic Symposium (2nd : 1970 : University of Oslo)

(1)

Schmidt, H. Arnold.

(1)

Schütte, K. (Kurt)

(1)

Shepherdson, J. C.

(1)

(1)

Southeast Asian Conference on Logic (1981 : Singapore)

(1)

Stern, Jacques, 1949-

(1)

Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany)

(1)

Temple University. College of Liberal Arts.

(1)

United States. Office of Naval Research.

(1)

University of California, Berkeley.

(1)

Vesley, Richard Eugene, 1932-

(1)

Weingartner, Paul.

(1)

Westerståhl, Dag, 1946-

(1)

Wicks, M. J. (Malcolm John), 1928-

(1)

Material Type

Language

(28)

(1)

(1)

(1)

Publication Date

-

(3)

(2)

(2)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Conference papers and proceedings.

(28)

Logic, Symbolic and mathematical -- Congresses.

(28)

Electronic books.

(27)

Logique symbolique et mathématique -- Congrès.

(14)

MATHEMATICS -- Infinity.

(7)

MATHEMATICS -- Logic.

(7)

Science -- Philosophy -- Congresses.

(5)

Science -- Philosophy.

(5)

Science -- Methodology -- Congresses.

(3)

Science -- Methodology.

(3)

Sciences -- Philosophie -- Congrès.

(3)

Artificial intelligence -- Congresses.

(2)

Artificial intelligence.

(2)

COMPUTERS -- General.

(2)

Knowledge, Theory of -- Congresses.

(2)

Knowledge, Theory of.

(2)

(2)

Logique symbolique et mathématique.

(2)

MATHEMATICS -- General.

(2)

Methodology -- Congresses.

(2)

(2)

Méthodologie -- Congrès.

(2)

SCIENCE -- Philosophy & Social Aspects.

(2)

Set theory -- Congresses.

(2)

(2)

Wiskundige logica.

(2)

Analyse mathématique -- Congrès.

(1)

Automatic theorem proving -- Congresses.

(1)

Automatic theorem proving.

(1)

Axioms -- Congresses.

(1)

(1)

(1)

COMPUTERS -- Computer Literacy.

(1)

COMPUTERS -- Computer Science.

(1)

COMPUTERS -- Data Processing.

(1)

COMPUTERS -- Hardware -- General.

(1)

COMPUTERS -- Information Technology.

(1)

COMPUTERS -- Machine Theory.

(1)

COMPUTERS -- Reference.

(1)

Connaissance, Théorie de la -- Congrès.

(1)

Engenharia De Programacao (Software)

(1)

Ensembles, Théorie des -- Congrès.

(1)

Fonctions récursives -- Congrès.

(1)

Fonctions récursives.

(1)

(1)

Induction (logique) -- Congrès.

(1)

Intelligence artificielle -- Congrès.

(1)

(1)

(1)

Logica Matematica.

(1)

Mathematical Theory.

(1)

Mathematical models -- Congresses.

(1)

Mathematical models.

(1)

Mathematics -- Philosophy -- Congresses.

(1)

Mathematics -- Philosophy.

(1)

(1)

Mathematische Logik

(1)

Mathematische Logik.

(1)

(1)

Modèles mathématiques -- Congrès.

(1)

Natuurwetenschappen.

(1)

Nonstandard mathematical analysis -- Congresses.

(1)

Nonstandard mathematical analysis.

(1)

Nonstandard-Analysis

(1)

PHILOSOPHY -- Logic.

(1)

Physical Sciences & Mathematics.

(1)

Programmatuurtechniek.

(1)

Raisonnement -- Congrès.

(1)

Reasoning -- Congresses.

(1)

(1)

Recursive functions -- Congresses.

(1)

Recursive functions.

(1)

(1)

(1)

Sciences -- Méthodologie -- Congrès.

(1)

Semantics -- Congresses.

(1)

(1)

Sémantique -- Congrès.

(1)

Théorèmes -- Démonstration automatique -- Congrès.

(1)

Wetenschapsfilosofie.

(1)

Wiskundige methoden.

(1)

Library

Başkent Library

Shelf Location

Elsevier E-Book Collections

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Switch to Cooliris view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

28 Results Found

Subscribe to search results

1 2 3

Email Address:

Phone Number:

Mobile Carrier:

Data usage warning: You will receive one text message for each title you selected.

Standard text messaging rates apply.

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

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

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

1.

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

by

Halpern, Joseph Y., 1953-

ScienceDirect https://www.sciencedirect.com/science/book/9780934613040

Format:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

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

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

2.

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

by

International Congress of Logic, Methodology, and Philosophy of Science (1960)

ScienceDirect http://www.sciencedirect.com/science/book/9780804700962

Format:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

Cover image for 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

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

3.

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

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:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

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

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

4.

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

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:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

Cover image for Formal systems and recursive functions

Formal systems and recursive functions

5.

Formal systems and recursive functions

by

Crossley, John N.

ScienceDirect http://www.sciencedirect.com/science/book/9780444534057
ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=40

Format:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

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

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

6.

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

by

Conference on Theoretical Aspects of Reasoning about Knowledge (5th : 1994 : Pacific Grove, Calif.)

ScienceDirect http://www.sciencedirect.com/science/book/9781483214535

Format:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

Cover image for Contributions to non-standard analysis

Contributions to non-standard analysis

7.

Contributions to non-standard analysis

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:

Excerpt:

Nonstandard mathematical analysis -- Congresses.

Cover image for 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

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

8.

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

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:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

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

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

9.

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

by

Logic Colloquium (10th : 1965 : University of Leicester)

ScienceDirect http://www.sciencedirect.com/science/book/9780444534101

Format:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

Cover image for The theory of models proceedings.

The theory of models proceedings.

10.

The theory of models proceedings.

by

International Symposium on the Theory of Models (1963 : Berkeley, Calif.)

ScienceDirect http://www.sciencedirect.com/science/book/9780720422337

Format:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

Cover image for The axiomatic method

The axiomatic method

11.

The axiomatic method

by

Henkin, Leon.

ScienceDirect http://www.sciencedirect.com/science/book/9780444533920

Format:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

Cover image for 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.

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.

12.

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.

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:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3

Search Results Electronic Resources

Search Results Electronic Resources

Email Address:

Phone Number:

Mobile Carrier:

Data usage warning: You will receive one text message for each title you selected.

Standard text messaging rates apply.

Electronic Resources

Fetching Results for Electronic Resources...

Copyright 2014 SirsiDynix - Enterprise Version 4.3 (32169)