Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Logique Symbolique Et Mathématique / Congrès"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Search alternatives
:
mathematique »
mathematiques
,
mathematics
,
mathematical
congres »
congress
Showing
1
-
20
of
29
Search:
'"Logique Symbolique Et Mathématique / Congrès"'
,
query time: 0.39s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981
by
Chong, C.-T.
Published 1983
North-Holland
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
/ ram...
”
Call Number:
BC135
Read Now
2
Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
by
Ferro, R.
Published 1989
North-Holland
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
/ ram...
”
Call Number:
QA9.A1
Read Now
3
Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968
by
Kino, A.
Published 1970
North-Holland
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
...
”
Call Number:
QA9.A1
Read Now
4
Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981
by
Stern, Jacques
Published 1982
North-Holland Pub. Co.
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
...
”
Call Number:
QA9.A1
Read Now
5
Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966
by
Schmidt, H. Arnold
Published 1968
North-Holland
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
...
”
Call Number:
QA9.A1
Read Now
6
Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986
by
Drake, F. R.
Published 1988
North-Holland
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
/ ram...
”
Call Number:
QA9.A1
Read Now
7
Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980
by
Metakides, George
Published 1982
North-Holland Pub. Co.
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
...
”
Call Number:
QA9.A1
Read Now
8
Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic
by
Dalen, D. van
Published 1982
North-Holland Pub. Co.
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
/ ram...
”
Call Number:
BC135
Read Now
9
Logic colloquium '73 : proceedings
by
Rose, Harvey Ernest
Published 1975
North-Holland Pub. Co.
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
...
”
Call Number:
QA9.A1
Read Now
10
Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
by
Ebbinghaus, Heinz-Dieter
Published 1989
North-Holland
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
...
”
Call Number:
QA9.A1
Read Now
11
Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978
by
Boffa, Maurice
Published 1979
North-Holland
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
...
”
Call Number:
QA9.A1
Read Now
12
Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977
by
Macintyre, Angus
Published 1978
North Holland Pub. Co.
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
...
”
Call Number:
QA9.A1
Read Now
13
Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
by
Arruda, A. I.
Published 1980
North-Holland Pub. Co.
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
...
”
Call Number:
QA9.A1
Read Now
14
Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976
by
Gandy, R. O.
Published 1977
North-Holland Pub. Co.
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
...
”
Call Number:
QA9.A1
Read Now
15
Proceedings
Published 1975
Elsevier
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
...
”
Call Number:
BC135
Read Now
16
Proceedings of the Second Scandinavian Logic Symposium
Published 1971
North-Holland Pub. Co.
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
...
”
Call Number:
QA9
Read Now
17
Formal systems and recursive functions
by
Crossley, John N.
Published 1965
North-Holland
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
/ ram...
”
Call Number:
QA9.615
Read Now
18
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...
by
Bar-Hillel, Yehoshua
Published 1970
North-Holland Pub. Co.
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
...
”
Call Number:
BC135
Read Now
19
Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
by
Crossley, John N.
Published 1967
North-Holland
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
...
”
Call Number:
QA9.A1
Read Now
20
Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics
by
Leblanc, Hugues
Published 1973
North-Holland
Subjects:
“
...
Logique
symbolique
et
mathématique
/
Congrès
...
”
Call Number:
BC135
1
2
Back
Narrow Search
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
21
501 - Philosophy & theory
3
160 - Logic
2
005 - Computer programming, programs & data
1
510 - Mathematics
1
515 - Analysis
1
Language
English
29
Collection
Elsevier eBook collection Mathematics
29
Author
Association for Symbolic Logic
3
Suppes, Patrick
3
Crossley, John N.
2
Dalen, D. van
2
Paris, J. B.
2
Tarski, Alfred
2
more ...
Academia Republicii Socialiste România
1
Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim
1
Arruda, A. I.
1
Bar-Hillel, Yehoshua
1
Boffa, Maurice
1
Chong, C.-T.
1
Chuaqui, R.
1
Cohen, L. Jonathan
1
Conference on Alternative Semantics (1970, Temple University)
1
Conference on Intuitionism and Proof Theory (1968, State University of New York at Buffalo)
1
Costa, Newton C. A. da
1
Dorn, Georg
1
Drake, F. R.
1
Dummett, Michael
1
Ebbinghaus, Heinz-Dieter
1
Einstein Institute of Mathematics
1
Equipe de logique mathématique (Paris, France)
1
Fenstad, Jens Erik
1
Ferro, R.
1
Gandy, R. O.
1
Henkin, Leon
1
Herbrand, Jacques
1
Hyland, John Martin Elliott
1
International Colloquium on Mathematical Logic and Foundations of Set Theory (1968, Jerusalem)
1
International Congress for Logic, Methodology, and Philosophy of Science ( 1971, Bucharest, Romania)
1
International Congress of Logic, Methodology, and Philosophy of Science ( 1979, Hannover, Germany)
1
International Congress of Logic, Methodology, and Philosophy of Science ( 1983, Salzburg, Austria)
1
International Congress of Logic, Methodology, and Philosophy of Science ( 1991, Uppsala, Sweden)
1
International Congress of Logic, Methodology, and Philosophy of Science (1960)
1
International Mathematical Union
1
International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science
1
Kanger, S.
1
Kino, A.
1
Lascar, D.
1
Latin-American Symposium on Mathematical Logic ( 1978, Santiago de Chile)
1
Leblanc, Hugues
1
Logic Colloquium '84 (1984, Manchester)
1
Logic Colloquium ( 1965, University of Leicester)
1
Logic Colloquium ( 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 (1980, Prague, Czech Republic)
1
Logic Colloquium (1981, Marseille, France)
1
Logic Colloquium (1985, Orsay, France)
1
Logic Colloquium (1986, Hull, Humberside)
1
Logic Colloquium (1987, Granada, Spain)
1
Logic Colloquium (1988, Padova, Italy)
1
Logic Symposion (1980, Patra, Greece)
1
Luxemburg, W. A. J.
1
Macintyre, Angus
1
Marcus, Ruth Barcan
1
McAloon, Kenneth
1
Metakides, George
1
Myhill, John
1
Nagel, Ernest
1
Pacholski, Leszek
1
Prawitz, Dag
1
Robinson, Abraham
1
Rose, Harvey Ernest
1
Scandinavian Logic Symposium ( 1970, University of Oslo)
1
Scandinavian Logic Symposium, Scandinavian Logic
1
Schmidt, H. Arnold
1
Schütte, K.
1
Shepherdson, J. C.
1
Skyrms, Brian
1
Smiley, T. J.
1
Southeast Asian Conference on Logic (1981, Singapore)
1
Stern, Jacques
1
Symposium on Non-standard Analysis (1970, Oberwolfach, Germany)
1
Temple University College of Liberal Arts (1957-1983)
1
Vesley, Richard Eugene
1
Weingartner, Paul
1
Westerståhl, Dag
1
Wicks, M. J.
1
Wilkie, A. J.
1
Wilmers, G. M.
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%22Logique+Symbolique+Et+Mathe%CC%81matique+%2F+Congre%CC%80s%22&type=Subject
Send by Email
×
Loading...