Results of search for 'su:"Model theory"'

Results
	1.	Algebraic system / A. I. Mal'ceve translated by B. D. Secher and A. P. Doohorskoy by Mal'cev, A. I. (Mal't sev Anatolii Ivanovich), 1909-1967 Seckler, B. D Doohovskoy, A. P Publication details: Berlin : Springer-Verlag, 1973 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA162.M3413. Place hold
	2.	Bounded variable logics and counting : a study in finite models / Martin Otto by Otto, Martin Series: Lecture notes in logic ; v.9 Publication details: Berlin : Springer-Verlag, 1996 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: Q9.7.O88. Place hold
	3.	An introduction to stability theory / by Anand Pillay. by Pillay, Anand Series: Oxford logic guides Publication details: Oxford : Clarendon Press, 1983 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.7.P55[00008031817]. Place hold
	4.	Logic Colloquium'82 : proceedings of the Colloquium held in Florence 23-28 August, 1982 / edited by G. Lolli, G. Longo and A. Marcja by Logic Colloquium (1982 : Florence, Italy) Lolli, G. (Gabriele) 1942- Longo, G. (Giuseppe) Marcja, A. (Annalisa) Series: Studies in logic and the foundations of mathematics ; v.112 Publication details: Amsterdam : North-Holland, 1984 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.7.L64 1982. Place hold
	5.	The metamathematics of algebraic systems, collected papers : 1936-1967 / Anatolii Ivanovic Malcev. Translated ; edited and provided with supplementary notes by Benjamin Franklin Wells, III by Maltsev, A. I. (Anatolii Ivanovich), 1909-1967 e uthor Wells, Benjamin Franklin [author.] Series: Studies in logic and the foundations of mathematics ; 66 Publication details: Amsterdam : North-Holland Publishing Co., 1971 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.M2813. Place hold
	6.	Model theoretic algebra selected topics Greg Cherlin by Cherlin, Greg, 1948- Series: Lecture notes in mathematics (Springer-Verlag) ; 521 Publication details: Berlin : Springer-Verlag, 1976 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.7.C46. Place hold
	7.	Model theory by C.C. Chang and H.J. Keisler by Chang, C. C. (Chen-chung) Keisler, H. Jerome Series: Studies in logic and the foundations of mathematics ; vol.73 Edition: 2nd ed Publication details: Amsterdam : North-Holland Publishing Company, 1977 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.7.C45 1977. Place hold
	8.	Model theory by C. C. Chang and H. J. Keisler by Chang, Chen Chung, 1927- Keisler, H. Jerome Series: Studies in logic and the foundations of mathematics v.72 ; v. 73 Publication details: Amsterdam : North-Holland, 1973 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.7.C45. Place hold
	9.	Model theory by C. C. Chang and H. J. Keisler by Chang, C. C. (Chen-chung) Keisler, H. Jerome Edition: 3rd ed. Publication details: Amsterdam : North-Holland Publishing Company, 1990 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.7.C45 1990. Place hold
	10.	Model theory C.C. Chang and H.J. Keisler by Chang, C. C. (Chen Chung) Keisler, H. Jerome Publication details: Amsterdam : North-Holland Publishing Company, 1977 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.7.C45 1977. Place hold
	11.	Model theory and algebra a memorial tribute to Abraham Robinson edited by D. H. Saracino and V. B. Weispfenning by Robinson, Abraham, 1918-1974 Saracino, D. H Series: Lecture notes in mathematics ; 498 Publication details: Berlin : Springer-Verlag, 1975 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.7.M6. Place hold
	12.	Model theory for infinitary logic logic with countable conjunctions and finite quantifiers by H. Jerome Keisler by Keisler, H. Jerome Series: Studies in logic and the foundations of mathematics ; vol.62 Publication details: Amsterdam : North-Holland Publishing, 1971 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.37.K33[00008031797]. Place hold
	13.	Model theory of algebra and arithmetic proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979 edited by L. Pacholski, J. Wierzejewski and A.J. Walkie by Conference on Applications of Logic to Algebra and Arithmetic (1979 : Karpacz, Poland) Pacholski, L Wierzejewski, J. (Jedrzej) Walkie, A. J. (Alec J.) Series: Lecture notes in mathematics ; .834 Publication details: Berlin : Springer-Verlag, 1980 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.7.C66 1979[00008031811]. Place hold
	14.	Modelling and optimization of complex system proceedings of the IFIP-TC7 Working Conference Novosibirsk, USSR, 3-9 July, 1978 edited by G.I. Marchuk by Marchuk, G. I. (Gurii Ivanovich), 1925- Series: Lecture notes in control and information sciences ; v.18 Publication details: Berlin Springer-Verlag 1979 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QC20.7.M27M64[00008039626], ... Place hold
	15.	No cover image available Proceedings of the First International Conference on Mathematical Modeling/ edited by Xavier J.R. Avula. by International Conference on Mathematical Modeling (1st : 1977 : St. Louis, Missouri) Avula, Xavier J. R Publication details: Rolla, Missouri: University of Missouri-Rolla, 1977 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (5)Call number: QA9.7.I57 1977[00008031813], ... Place hold
	16.	Saturated model theory/ by Gerald E. Sacks. by Sacks, Gerald E [author.] Publication details: Reading, Mass.: W.A. Benjamin, 1972 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.S313. Place hold
	17.	Studies in model theory / by Jon Barwise and others M. D. Morley, editor. by Morley, Michael Darwin, 1930- [editor.] Series: Studies in mathematics ; v. 8 Publication details: Washington, D.C. : Mathematical Association of America, 1973 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.7.M67. Place hold
	18.	Topological model theory / J org Flum, Martin Ziegler. by Flum, Jorg Ziegler, Martin Series: Lecture notes in mathematics ; 769 Publication details: Berlin: Springer-Verlag, 1980 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA611.3.F57[00008040055], ... Place hold
	19.	Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Sysposium on Mathematical Logic, Campinas, Brazil, July 11-17 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui by Latin-American Symposium on Mathematical Logic ( 3rd, State University of Campinas, 1976 ) Arruda, A. I Costa, Newton C. A. da Chuaqui, R Series: Studies in logic and the foundations of mathematics ; v. 89 Publication details: Amsterdam : North-Holland Pub. , 1977 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.4.L37 1976[00008031798]. Place hold
	20.	Models and ultraproducts : an introduction / by J.L Bell, A. B. Slomson by Bell, J. L. (John Lane) Slamson, A. B Publication details: Amsterdam : North-Holland Publishing Company, 1969 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (2)Call number: QA9.7.B44 n.1[00008031809], ... Place hold

Refine your search

Availability

Authors

Home libraries

Item types

Locations

Series

Topics

Your search returned 28 results.

Contact Us

Copyright ©The National University of Malaysia Library