Results of search for 'su:"Logic, Symbolic and mathematical."'

Results
	1.	Inconsistent mathematics by Chris Mortensen by Mortensen, Chris Series: Mathematics and its applications (Kluwer Academic Publishers) Publication details: Dordrecht New York Kluwer Academic c1995 Availability: Items available for loan: IMAR (1)Call number: II 35149. Place hold Add to cart (remove)
	2.	Proceedings of the Second Scandinavian Logic Symposium Ed. by J. E. Fenstad by Fenstad, Jens Erik (ed.) Association for Symbolic Logic Series: Studies in logic and the foundations of mathematics ; vol. 63 Publication details: Amsterdam; London: North-Holland Pub. Co, 1971 Availability: Items available for loan: IMAR (1)Call number: II 34394. Place hold Add to cart (remove)
	3.	The axiom of choice Amsterdam, North-Holland, 1973 bibl by Jech, Thomas J Series: Studies in logic and the foundations of mathematics ; v.75 Availability: Items available for loan: IMAR (1)Call number: II 34385. Place hold Add to cart (remove)
	4.	Logic, methodology and philosophy of science Proceedings by Suppes, Patrick, 1922- International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science Academia Republicii Socialiste România Series: Studies in logic and the foundations of mathematics ; v. 74 Publication details: Amsterdam New York North-Holland Pub. Co American Elsevier Pub. Co 1973 Availability: Items available for loan: IMAR (1)Call number: II 34390. Place hold Add to cart (remove)
	5.	Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories Andrzej Biela by Biela, Andrzej Series: Prace naukowe Uniwersytetu âSlñaskiego w Katowicach ; nr. 1901 Publication details: Katowice Wydawn. Uniwersytetu âSlñaskiego 2000 Availability: Items available for loan: IMAR (1)Call number: II 35342. Place hold Add to cart (remove)
	6.	A course in mathematical logic by J. L. Bell and M. Machover by Bell, J. L Machover, Moshé Publication details: Amsterdam New York North-Holland Pub. Co sole distributors for the U.S.A. and Canada American Elsevier Pub. Co 1977 Online resources: Publisher description Availability: Items available for loan: IMAR (1)Call number: II 33701. Place hold Add to cart (remove)
	7.	Models, algebras, and proofs selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá edited by Xavier Caicedo, Carlos H. Montenegro by Caicedo, Xavier, 1944- Montenegro, Carlos H, 1958- Series: Lecture notes in pure and applied mathematics Publication details: New York Marcel Dekker c1999 Online resources: Publisher description Availability: Items available for loan: IMAR (1)Call number: II 33809. Place hold Add to cart (remove)
	8.	m-M calculus Slaviésa B. Preésiâc by Preésiâc, Slaviésa B Series: Posebna izdanja (Matematiécki institut (Belgrade, Serbia)) Publication details: Beograd Matematiécki institut 1996 Availability: Items available for loan: IMAR (1)Call number: II 34115. Place hold Add to cart (remove)
	9.	The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory by Kurt Gèodel by Gèodel, Kurt Brown, George William, 1917- Series: Annals of mathematics studies ; no.3 Publication details: Princeton London Princeton University Press H. Milford, Oxford university press 1940 Availability: Items available for loan: IMAR (1)Call number: II 32010. Place hold Add to cart (remove)
	10.	Legile gîndirii modale în stiintele experimentale Ionel I. Purica by Purica, Ionel I Publication details: Bucuresti Editura Academiei Române 1990 Availability: Items available for loan: IMAR (1)Call number: II 31990. Place hold Add to cart (remove)
	11.	Conference in Mathematical Logic, London '70 Edited by Wilfrid Hodges by Hodges, Wilfrid Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin New York Springer-Verlag 1972 Availability: Items available for loan: IMAR (1)Call number: CS1-255. Place hold Add to cart (remove)
	12.	An outline of set theory James M. Henle by Henle, James M Series: Problem books in mathematics Publication details: New York Springer-Verlag c1986 Availability: Items available for loan: IMAR (1)Call number: II 28518. Place hold Add to cart (remove)
	13.	Methods in mathematical logic proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 edited by C.A. Di Prisco. -- by Di Prisco, C. A Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin Springer-Verlag c1985 Availability: Items available for loan: IMAR (1)Call number: II 29734. Place hold Add to cart (remove)
	14.	Mathematical logic H.-D. Ebbinghaus, J. Flum, W. Thomas by Ebbinghaus, Heinz-Dieter Flum, Jèorg Thomas, Wolfgang, 1947- Series: Undergraduate texts in mathematics Publication details: New York Springer-Verlag c1984 Availability: Items available for loan: IMAR (1)Call number: II 26365. Place hold Add to cart (remove)
	15.	Mathematical logic and formal systems a collection of papers in honor of Professor Newton C.A. da Costa edited by Luiz Paulo de Alcantara by Costa, Newton C. A. da Alcantara, Luiz Paulo de, 1944- Series: Lecture notes in pure and applied mathematics ; v. 94 Publication details: New York M. Dekker c1985 Availability: Items available for loan: IMAR (1)Call number: 511.3-XXX-13. Place hold Add to cart (remove)
	16.	Institution-independent model theory Razvan Diaconescu by Diaconescu, Razvan Series: Studies in universal logic Publication details: Basel Boston Birkhèauser c2008 Availability: Items available for loan: IMAR (1)Call number: II 35436. Place hold Add to cart (remove)
	17.	Logik macht Spass 85 Aufgaben mit Lèosungen von Gyèorgy Bizám und János Herczeg by Bizám, Gyèorgy Herczeg, János Publication details: Budapest Akadémiai Kiadó 1976 Availability: Items available for loan: IMAR (1)Call number: II 23991. Place hold Add to cart (remove)
	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. Wilkie. -- by Pacholski, Leszek Wierzejewski, J Wilkie, A. J Series: Publication details: Berlin Springer 1980 Availability: Items available for loan: IMAR (1)Call number: II 23128. Place hold Add to cart (remove)
	19.	Logic year 1979-80, the University of Connecticut edited by M. Lerman, J.H. Schmerl, and R.I. Soare by Lerman, M, 1943- Schmerl, J. H, 1940- Soare, R. I, 1940- Series: Lecture notes in mathematics (Springer-Verlag) Publication details: Berlin New York Springer-Verlag 1981 Availability: Items available for loan: IMAR (1)Call number: II 24403. Place hold Add to cart (remove)
	20.	Introduction to mathematical logic set theory, computable functions, model theory Jerome Malitz by Malitz, Jerome Series: Undergraduate texts in mathematics Publication details: New York Springer-Verlag c1979 Availability: Items available for loan: IMAR (1)Call number: II 21451. Place hold Add to cart (remove)

Refine your search

Availability

Authors

Item types

Series

Topics

Your search returned 85 results.