انتشارات Science
Contemporary algorithms. theory and applications. Vol.1
Argyros C.I., et al., 2022
Geometric Properties and Problems of Thick Knots
Yuanan Diao; Claus Ernst, 2009
Handbook of Neuropsychiatry Research
Rebecca S. Davies, 2010
First Woman President
Joseph Caruso, 2009
Engineering Neural Tissue from Stem Cells
Stephanie Willerth, 2017
Medicare Advantage: The Alternate Medicare Program : The Alternate Medicare Program
Charles V. Baylis, 2010
Electronic Structure, Correlation Effects and Physical Properties of d- and f-Metals and their Compounds
V. Yu. Irkhin; Yu. P. Irkhin, 2006
Ribonucleotide Reductase Family: Genetics and Genomics
Eduard Torrents; Margareta Sahlin; Britt-Marie Sjöberg, 2008
Viral Gene Expression Regulation
Eli B. Galos, 2010
Quantification in Nonclassical Logic: Volume 1
D.M. Gabbay, V.B. Shehtman and D.P. Skvortsov (Eds.), 2009
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
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
