Search Results for Logic, Symbolic and mathematical.

|

|

|

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 Conference papers and proceedings.

+

Subject: Conference papers and proceedings.

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

Logic, Symbolic and mathematical -- Congresses.

(28)

Logic, Symbolic and mathematical.

(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

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.

0000000000000000000000000000DEFAULT

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 Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968

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

1.

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

2.

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 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

3.

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.

4.

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

5.

The axiomatic method

by

Henkin, Leon.

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

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

6.

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

7.

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

8.

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

9.

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

10.

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 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.

11.

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.

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

12.

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 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 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

14.

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.

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

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

15.

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

by

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

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

Format:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

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

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

16.

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

by

Logic Colloquium (1978 : Mons, Belgium)

ScienceDirect http://www.sciencedirect.com/science/book/9780444853783
ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/97

Format:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

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

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

17.

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

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:

Excerpt:

Logic, Symbolic and mathematical -- Congresses.

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

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

18.

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

by

Logic Colloquium (1976 : Oxford)

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

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

19.

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

20.

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 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

21.

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 Contributions to non-standard analysis

Contributions to non-standard analysis

22.

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:

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

23.

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

24.

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

25.

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

26.

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 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

27.

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 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)

28.

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.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1

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)