Search Results for Mathematics, general.

|

|

|

ADA Moduna dönüştürmek için tıklayınız

|

Yardım

Remember to clear the cache and close the browser window.

Ana Sayfa

Search Limit

8

Search Field

Arama:

Gelişmiş Arama

Search Results Elektronik Kaynaklar

Arama Sonuçlarını Sınırlandır

Daraltılmış:

Logic, Symbolic and mathematical. arama terimini sil

+

Konu: Logic, Symbolic and mathematical.

Yazar

Suppes, Patrick, 1922-2014.

(2)

Academia Republicii Socialiste România.

(1)

Association for Symbolic Logic.

(1)

Chang, Chin-Liang, 1937-

(1)

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

(1)

Conference on Alternative Semantics (1970 : Temple University)

(1)

(1)

Ebbinghaus, Heinz-Dieter, 1939-

(1)

Equipe de logique mathématique (Paris, France)

(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 (7th : 1983 : Salzburg, Austria)

(1)

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

(1)

Leblanc, Hugues, 1924-

(1)

Lee, Richard Char-Tung, 1939- author.

(1)

Logic Colloquium '84 (1984 : Manchester)

(1)

Logic Colloquium (1985 : Orsay, France)

(1)

Logic Colloquium (1987 : Granada, Spain)

(1)

Marcus, Ruth Barcan.

(1)

Nagel, Ernest, 1901-1985.

(1)

Paris, J. B. (Jeff B.)

(1)

Rybakov, Vladimir V. (Vladimir Vladimir), 1961-

(1)

Southeast Asian Conference on Logic (1981 : Singapore)

(1)

Tarski, Alfred, 1901-1983.

(1)

Temple University. College of Liberal Arts.

(1)

Weingartner, Paul.

(1)

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

(1)

Wilkie, A. J. (Alec J.)

(1)

(1)

Tümünü genişlet

Materyal Türü

Dil

(10)

(1)

(1)

(1)

Yayın Yılı

-

(3)

(2)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Electronic books.

(10)

Conference papers and proceedings.

(6)

Logic, Symbolic and mathematical -- Congresses.

(6)

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

(6)

MATHEMATICS -- General.

(5)

Logique symbolique et mathématique.

(3)

Science -- Philosophy -- Congresses.

(3)

Science -- Philosophy.

(3)

MATHEMATICS -- Infinity.

(2)

MATHEMATICS -- Logic.

(2)

Science -- Methodology -- Congresses.

(2)

Science -- Methodology.

(2)

Sciences -- Philosophie -- Congrès.

(2)

Artificial intelligence.

(1)

Automatic theorem proving.

(1)

(1)

(1)

Inférence (Logique)

(1)

Intelligence artificielle.

(1)

(1)

(1)

Logica Matematica.

(1)

Logica matematica.

(1)

(1)

Mathematical logic

(1)

Mathematische Logik

(1)

Mathematische Logik.

(1)

Methodology -- Congresses.

(1)

(1)

(1)

Méthodologie -- Congrès.

(1)

Natuurwetenschappen.

(1)

PHILOSOPHY -- Logic.

(1)

SCIENCE -- Philosophy & Social Aspects.

(1)

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

(1)

Semantics -- Congresses.

(1)

(1)

Sémantique -- Congrès.

(1)

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

(1)

Wetenschapsfilosofie.

(1)

Wiskundige logica.

(1)

Tümünü genişlet

Kütüphane

Başkent Kütüphanesi

Lokasyon

Elsevier E-Kitap Koleksiyonu

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Cooliris görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

10 sonuç bulundu

Arama sonuçlarına abone ol

1

Eposta Adresleri:

Phone Number:

Mobile Carrier:

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

Standard text messaging rates apply.

0000000000DEFAULTTR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 için kapak resmi

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984

1.

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984

by

Logic Colloquium '84 (1984 : Manchester)

ScienceDirect https://www.sciencedirect.com/science/book/9780444879998
ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=120
ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/120

Format:

Alıntı:

MATHEMATICS -- General.

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 için kapak resmi

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985

2.

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985

by

Logic Colloquium (1985 : Orsay, France)

ScienceDirect https://www.sciencedirect.com/science/book/9780444702111
ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/122
ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=122

Format:

Alıntı:

MATHEMATICS -- General.

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 için kapak resmi

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

3.

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:

Alıntı:

MATHEMATICS -- General.

Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics için kapak resmi

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

4.

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:

Alıntı:

MATHEMATICS -- General.

Symbolic logic and mechanical theorem proving için kapak resmi

Symbolic logic and mechanical theorem proving

5.

Symbolic logic and mechanical theorem proving

by

Chang, Chin-Liang, 1937-

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

Format:

Alıntı:

MATHEMATICS -- General.

Logic, methodology and philosophy of science : proceedings of the 1960 international congress için kapak resmi

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

6.

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:

Alıntı:

-- General problems of metholody and philosophy of science -- Foundations of probability and induction

Logic, methodology, and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 için kapak resmi

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

7.

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:

Alıntı:

theory -- pt. 5. Philosophical logic -- pt. 6. General methodology of science -- pt. 7. Foundations of

Admissibility of logical inference rules için kapak resmi

Admissibility of logical inference rules

8.

Admissibility of logical inference rules

by

Rybakov, Vladimir V. (Vladimir Vladimir), 1961-

ScienceDirect https://www.sciencedirect.com/science/book/9780444895059
ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=136
ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/136

Format:

Alıntı:

general logical consequence relations and classical first-order theories are also considered. The book is

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

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

9.

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:

Alıntı:

; Chapter 12. Some Aspects of Impredicativity: Notes on Weyl's Philosophy of Mathematics and on Today's Type

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

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

10.

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:

Alıntı:

MATHEMATICS; Chapter 18 Towards a Foundation of General Proof Theory; Chapter 19 In Memoriam to Richard

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1

Search Results Elektronik Kaynaklar

Search Results Elektronik Kaynaklar

Eposta Adresleri:

Phone Number:

Mobile Carrier:

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

Standard text messaging rates apply.

Elektronik Kaynaklar

Sonuçlar alınıyor Elektronik Kaynaklar...

Copyright 2011 SirsiDynix - Enterprise Version 4.3 (32169)