نتایج جستجو

The Propositional Logic of Boethius
Karl DГјrr (Eds.), 1951
Logic Colloquium '80Papers intended for the European Summer Meeting of the Association for Symbolic Logic
D. Van Dalen, D. Lascar and T.J. Smiley (Eds.), 1982
Patras Logic Symposion
George Metakides (Eds.), 1982
Southeast Asian Conference on Logic: Proceedings of the Logic Conference Singapore, 1981
C.-T. Chong and M.J. Wicks (Eds.), 1983
Logic Colloquium '82
G. Lolli, G. Longo and A. Marcja (Eds.), 1984
Foundations of Infinhesimal Stochastic Ankysis
K.D. Stroyan and JosГ© Manuel Bayod (Eds.), 1986
Logic Colloquium '84
J.B. Paris, A.J. Wilkie and G.M. Wilmers (Eds.), 1986
Logic Colloquium '88, Proceedings of the Colloquium held in Padova
R. Ferro, C. Bonotto, S. Valentini and A. Zanardo (Eds.), 1989
Undecidable Theories
Alfred Tarski (Eds.), 1953
Foundations of Set Theory
Abraham A. Fraenkel and Yehoshua Bar-Hillel (Eds.), 1958
Languages with Expressions of Infinite Length
Carol R. Karp (Eds.), 1964
Intuitionism An Introduction
A. Heyting (Eds.), 1966
The Collected Papers of Gerhard Gentzen
M.E. Szabo (Eds.), 1969
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968
A. Kino, J. Myhill and R.E. Vesley (Eds.), 1970
Proceedings of the Second Scandinavian Logic Symposium
J.E. Fenstad (Eds.), 1971
Truth, Syntax and Modality
Hugues Leblanc (Eds.), 1973
Model Theory
C.C. Chang and H.J. Keisler (Eds.), 1990
Proceedings of the Third Scandinavian Logic Symposium
Stig Kanger (Eds.), 1975
Logic Colloquium '77
Angus Macintyre, Leszek Pacholski and Jeff Paris (Eds.), 1978
Logic Colloquium '78, Proceedings of the colloquium held in Mons
Maurice Boffa, Dirkvan Dalen and Kenneth Mcaloon (Eds.), 1979