31 Results Found
000000000000MAIN
1.
by
Wang, Dongming
Author
Wang, Dongming, Zhi, Lihong, SpringerLink (Online service)
Format:
Call Number
EB 000464
Publisher
Birkhauser Verlag AG,
Publication Date
2007
ISBN
9783764379841
Remote access restricted to users with a valid UTM ID via VPN
Holds:
Copies:
2.
by
Kechris, A. S.
Author
Kechris, A. S.
Format:
Call Number
QA9.3 C32 1978
Publisher
Springeer-Verlag,
Publication Date
1978
ISBN
9783540090861
Holds:
Copies:
3.
by
International Summer Institute and Logic Colloquium (1974 : University of Kiel)
Author
International Summer Institute and Logic Colloquium (1974 : University of Kiel), Muller, Gert Heinz, Oberschelp, A., Plotthoff, K
Format:
Call Number
QA9 I84 1975
Publisher
Springer-Verlag,
Publication Date
1975
ISBN
9783540075349
Holds:
Copies:
by
Parikh, Rohet
Author
Parikh, Rohet
Format:
Call Number
QA9.A1 L63 1972-73
Publisher
Springer-Verlag,
Publication Date
1975
ISBN
9780387071558
Holds:
Copies:
5.
by
Mathias, A. R. D.
Author
Mathias, A. R. D., Rogers, H.
Format:
Call Number
QA9.A1 C36 1973
Publisher
Soringer-Verlag,
Publication Date
1973
ISBN
9783540055693
Holds:
Copies:
by
Conference in Mathematical Logic (1970 : Bedford College, London)
Author
Conference in Mathematical Logic (1970 : Bedford College, London), Hodges, Wilfrid
Format:
Call Number
QA9 C66 1972
Publisher
Springer-Verlag,
Publication Date
1972
ISBN
9783540057444
Holds:
Copies:
by
Summer School in Logic (1967 : Leeds)
Author
Summer School in Logic (1967 : Leeds), Lob, M. H.
Format:
Call Number
QA9.A1 S85 1967
Publisher
Springer-Verlag,
Publication Date
1968
Holds:
Copies:
8.
by
Summer Research Institute of the Australia Mathematical Society (14th : 1974 : University, Victoria)
Author
Summer Research Institute of the Australia Mathematical Society (14th : 1974 : University, Victoria)
Format:
Call Number
QA9 S76 1975
Publisher
Springer-Verlag,
Publication Date
1975
ISBN
9783540071525
Holds:
Copies:
by
Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York)
Author
Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York), Kino, A., Myhill, J., Vesley, R. E.
Format:
Call Number
QA9.47 I58 1970
Publisher
North-Holland Pub.,
Publication Date
1970
ISBN
720422574
Holds:
Copies:
by
Logic Colloquium
Author
Logic Colloquium, Gandy, R. O.
Format:
Call Number
QA9.A1 L64 1973
Publisher
North-Holland,
Publication Date
2020 2019 2018 2017 2016
Holds:
Copies:
11.
![Cover image for Logic, methodology and philosophy of science IX, Uppsala, Sweden, August 7-14 1991 : [proceeding]](https://secure.syndetics.com/index.aspx?type=xw12&client=unitecnmasd&upc=&oclc=&isbn=9780444893413/MC.GIF "Cover image for Logic, methodology and philosophy of science IX, Uppsala, Sweden, August 7-14 1991 : [proceeding]")
by
International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden)
Author
International Congress of Logic, Methodology, and Philosophy of Science (9th : 1991 : Uppsala, Sweden), Prawitz, Dag, Skyrms, Brian, Westerstahl, Dag
Format:
Call Number
Q174 I58 1991
Publisher
Elsevier,
Publication Date
1994
ISBN
9780444893413
Holds:
Copies:
by
Latin-America Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile)
Author
Latin-America Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile), Arruda, Ayda I., Chuaqui, R., Da Costa, N. C. A.
Format:
Call Number
QA9.A1 L38 1978
Publisher
North-Holland
Publication Date
1980 1978
Holds:
Copies:
