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 Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics

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

13.

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

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:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

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

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

14.

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

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:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

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

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

15.

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

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:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

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

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

16.

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

by

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

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

Format:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

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

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

17.

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

by

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

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

Format:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

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

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

18.

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

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:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

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

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

19.

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

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:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

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

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

20.

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

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:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

Cover image for Logic colloquium '73 : proceedings

Logic colloquium '73 : proceedings

21.

Logic colloquium '73 : proceedings

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:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

Cover image for Proceedings of the Second Scandinavian Logic Symposium

Proceedings of the Second Scandinavian Logic Symposium

22.

Proceedings of the Second Scandinavian Logic Symposium

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:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

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

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

23.

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

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:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

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

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

24.

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

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:

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)