Search Results for Logic, Symbolic and mathematical -- Congresses.

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

25 sonuç bulundu

0000000000000000000000000DEFAULT_TR

Logic Colloquium 2007

Yazar

Delon, Françoise. Kohlenbach, Ulrich. Maddy, Penelope. Stephan, Frank.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Logic Colloquium 2006

Yazar

Cooper, S. Barry. Geuvers, Herman. Pillay, Anand. Väänänen, Jouko.

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Logic Colloquium 2005

Yazar

Dimitracopoulos, Costas. Newelski, Ludomir. Normann, Dag. Steel, John R..

Yer Numarası

ONLINE

Elektronik Erişim

Access by subscription

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

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

Yazar

International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden) Prawitz, Dag. Skyrms, Brian. Westerståhl, Dag, 1946-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

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

Yazar

Logic Colloquium (1988 : Padova, Italy) Ferro, R. (Ruggero)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

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

Yazar

Logic Colloquium (1987 : Granada, Spain) Ebbinghaus, Heinz-Dieter, 1939-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

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

Yazar

Southeast Asian Conference on Logic (1981 : Singapore) Chong, C.-T. (Chi-Tat), 1949- Wicks, M. J. (Malcolm John), 1928-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

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

Yazar

Logic Symposion (1980 : Pátrai, Greece) Metakides, George, 1945-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

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

Yazar

International Congress of Logic, Methodology, and Philosophy of Science (6th : 1979 : Hannover, Germany) Cohen, L. Jonathan (Laurence Jonathan)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

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

Yazar

Logic Colloquium (1981 : Marseille, France) Stern, Jacques, 1949- Herbrand, Jacques, 1908-1931.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

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

Yazar

Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile) Arruda, A. I. (Ayda Ignez) Chuaqui, R. Costa, Newton C. A. da.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

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

Yazar

Logic Colloquium (1978 : Mons, Belgium) Boffa, Maurice. Dalen, D. van (Dirk), 1932- McAloon, Kenneth.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

13.

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

Yazar

Logic Colloquium (1977 : Wrocław, Poland) Macintyre, Angus. Pacholski, Leszek. Paris, J. B. (Jeff B.)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

14.

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

Yazar

Logic Colloquium (1976 : Oxford) Gandy, R. O. (Robin O.) Hyland, John Martin Elliott.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

15.

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

Yazar

Conference on Alternative Semantics (1970 : Temple University) Leblanc, Hugues, 1924- Temple University. College of Liberal Arts. Association for Symbolic Logic.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

16.

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

Yazar

International Congress for Logic, Methodology, and Philosophy of Science (4th : 1971 : Bucharest, Romania) Suppes, Patrick, 1922- International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science. Academia Republicii Socialiste România.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

17.

Contributions to non-standard analysis

Yazar

Symposium on Non-standard Analysis (1970 : Oberwolfach, Germany) Luxemburg, W. A. J., 1929- Robinson, Abraham, 1918-1974, ed.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

18.

Proceedings of the Second Scandinavian Logic Symposium

Yazar

Scandinavian Logic Symposium (2nd : 1970 : University of Oslo) Fenstad, Jens Erik, ed. Association for Symbolic Logic.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

19.

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.

Yazar

International Colloquium on Mathematical Logic and Foundations of Set Theory (1968 : Jerusalem) Bar-Hillel, Yehoshua. Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim. International Mathematical Union. Einstein Institute of Mathematics.

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

20.

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

Yazar

Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo) Kino, A. Myhill, John, 1923-1987. Vesley, Richard Eugene, 1932-

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

21.

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

Yazar

Logic Colloquium (11th : 1966 : Hannover, Germany) Schmidt, H. Arnold. Schütte, K. (Kurt)