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.	Discrete mathematics for computer scientist / Ali Selamat, Md Hafiz Selamat. by Ali Selamat Md. Hafiz Selamat Publication details: Johor Bahru : Penerbit UTM Press, 2012 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA76.9.M35A444. Place hold
	4.	Distribution models theory / editors, Rafael Herrerias Pleguezuelo, Jose Callejon Cespedes, and Jose Manual Herrerias Velasco by Herrerias-Pleguezuelo, Rafael Callejon-Cespedes, Jose Herrerias--Velasco, Jose Manual Publication details: Singapore : World Scientific, 2006 Availability: Items available for loan: PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.7.D578. Place hold
	5.	E-recursion, forcing and C-algebras / editors, Chitat Chong, National University of Singapore, Singapore [and four others]. by Chong, C.-T. (Chi-Tat), 1949- [editor.] Series: Publisher: New Jersey : World Scientific, [2014]Copyright date: ©2014 Availability: Items available for loan:* PERPUSTAKAAN TUN SERI LANANG (1)Call number: QA9.6.E734. Place hold
	6.	Finite Model Theory and Its Applications [electronic resource] / by Erich Gradel ... [et al.]. by Gradel, Erich SpringerLink (Online service) Series: Texts in Theoretical Computer Science an EATCS Series Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	7.	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
	8.	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
	9.	Logica Universalis [electronic resource] : Towards a General Theory of Logic / edited by Jean-Yves Beziau. by Beziau, Jean-Yves SpringerLink (Online service) Publication details: Basel : Birkhauser Verlag, 2005 In: Springer e-books Online resources: Click here to access online Availability: No items available.
	10.	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
	11.	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
	12.	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
	13.	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
	14.	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
	15.	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
	16.	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
	17.	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
	18.	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
	19.	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
	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