Your search returned 251 results.

Results
		Hyperproof [Documento electrónico] / Jon Barwise, John EtchemendyPublication: Stanford, US : CSLI Publications, cop. 1994Description: 1 disquete ; 10 cmAvailability: Items available for loan: Call number: QA76.BAR FCT 52470 (1). Place hold
		Logiclab to accompany mathematical logic and computability [[Documento electrónico]] : disk 1 of 1 / H. Jerome Keisler, Joel RobbinPublication: New York : McGraw-Hill Companies, Inc., cop. 1996Description: 1 disquete ; 10 cmAvailability: Items available for loan: Call number: QA9.65.KEI FCT 51564 (1). Place hold
		Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung LeePublication: San Diego, US : Academic Press, cop. 1973Description: III, 331 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA9.CHA FCT 21234 (1). Place hold
		Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung LeePublication: San Diego, US : Academic Press, cop. 1973Description: XIII, 331 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA9.CHA FCT 21235 (1). Place hold
		Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung LeePublication: San Diego, US : Academic Press, cop. 1973Description: XIII, 331 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA9.CHA FCT 21236 (1). Place hold
		Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung LeePublication: San Diego, US : Academic Press, cop. 1973Description: XIII, 331 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA9.CHA FCT 21237 (1). Place hold
		Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung LeePublication: San Diego, US : Academic Press, cop. 1973Description: XIII, 331 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA9.CHA FCT 21238 (1). Place hold
		Logic for mathematicians / A. G. HamiltonPublication: Cambridge : Cambridge University Press, cop. 1988Description: VIII, 228 p. ; 23 cmAvailability: Items available for loan: Call number: QA9.HAM FCT 22789 (1). Place hold
		The concept of logical consequence / John EtchemendyPublication: Cambridge, US : Harvard University Press, cop. 1990Description: 174 p. : il. ; 25 cmAvailability: Items available for loan: Call number: BC135.ETC FCT 22846 (1). Place hold
		No cover image available Handbook of logic in artificial intelligence : vol. 1 / Dov M. Gabbay, C. J. Hogger, J. A. Robinson, ed. lit.Publication: London : [s.n.], cop. 1993Description: XIII, 518 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA76.63.HAN FCT 22859 (1). Place hold
		Automated deduction - CADE-11 : 11th international conference on automated deduction, Saratoga Springs, NY, USA, June 1992 / Deepak Kapur, ed. lit.Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1992Description: XV, 793 p. : il. ; 25 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22869 (1). Place hold
		Nonclassical logics and information processing : international workshop held in Berlin, Germany, November 9-10, 1990~eproceedings / David Pearce, Heinrich Wansing, ed. lit.Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1992Description: 171 p. : il. ; 25 cmAvailability: Items available for loan: Call number: Q334.LEC FCT 22871 (1). Place hold
		Computer science logic : 6th workshop, CSL'92, held in San Miniato, Italy, September 28-October 2, 1992 / E. Bõrger, ed. lit.Publication: Berlin : Heidelberg, DE : Springer-Verlag, cop. 1993Description: VIII, 439 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 22879 (1). Place hold
		Computational logic and proof theory : third Kurt Gõdel colloquium, KGC'93, held in Brno, Czech Republic, August 24-27, 1993 / Georg Gottlob, Alexander Leitsch, Daniele Mundici, ed. lit.Publication: Berlin : Heidelberg, DE [etc.] : Springer-Verlag, cop. 1993Description: XI, 348 p. : il. ; 24 cmAvailability: Items available for loan: Call number: QA75.5.LEC FCT 22880 (1). Place hold
		Forever undecided : a puzzle guide to Gõdel / by Raymond SmullyanPublication: Oxford, UK : Oxford University Press, cop. 1987Description: XII, 257 p. ; 20 cmAvailability: Items available for loan: Call number: QA9.65.SMU FCT 23167 (1). Place hold
		Axiomatic set theory / Paul BernaysPublication: New York : Dover Publications, INC., cop. 1991Description: VIII, 227 p. : il. ; 22 cmAvailability: Items available for loan: Call number: QA248.BER FCT 25104 (1). Place hold
		Introduction to mathematical logic / Hans Hermes ; Diana Schmidt, trad.Publication: Berlin : Springer-Verlag, 1973Description: XI, 242 p. : il. ; 26 cmAvailability: Items available for loan: Call number: QA9.HER FCT 4282 (1). Place hold
		No cover image available Logique combinatoire et séquentielle : maîtrise d'E.E.A. C3 - automatique / J. LagassePublication: Paris : Dunod, 1971Description: IX, 187 p. : il. ; 25 cmAvailability: Items available for loan: Call number: QA9.LAG FCT 10526 (1). Place hold
		Foundations of computing : system development with set theory and logic / Thierry ScheurerPublication: Wokingham, UK : Addison-Wesley, cop. 1994Description: XXIV, 668 p. : il. ; 24 cmAvailability: Items available for reference: Não pode ser emprestado, apenas consulta localCall number: QA76.9.SCH FCT 25346 (1). :

1
2
3
4
5
6
7
8
9
10
Next
Last