Filter Related Topics within your search.
Filter Related Topics within your search.
1
Corporate Authors:
Group Author: ; ;
Published: Elsevier,
Publication Dates: 2012.
Group Author: ; ;
Published: Elsevier,
Publication Dates: 2012.
2
Main Authors:
Published: Cosmo Publications,
Publication Dates: 2010.
Call Number: N03/M645
Published: Cosmo Publications,
Publication Dates: 2010.
Call Number: N03/M645
3
Main Authors:
Published: Cambridge University Press,
Publication Dates: 2008.
Call Number: B812.4/W238/2nd.ed.
Published: Cambridge University Press,
Publication Dates: 2008.
Call Number: B812.4/W238/2nd.ed.
4
Corporate Authors:
Group Author:
Published: Elsevier/North Holland,
Publication Dates: 2007.
Group Author:
Published: Elsevier/North Holland,
Publication Dates: 2007.
5
Main Authors:
Group Author: ;
Published: Southern Illinois University Press,
Publication Dates: c2007.
Call Number: B81-06/D519
Group Author: ;
Published: Southern Illinois University Press,
Publication Dates: c2007.
Call Number: B81-06/D519
6
Main Authors:
Corporate Authors:
Group Author:
Published:
Corporate Authors:
Group Author:
Published:
7
Corporate Authors:
Group Author: ;
Published: Elsevier,
Publication Dates: 2004-2012.
Group Author: ;
Published: Elsevier,
Publication Dates: 2004-2012.
8
A first course in logic:an introduction to model theory, proof theory, computability, and complexity
Main Authors:
Published: Oxford University Press,
Publication Dates: 2004.
Call Number: O141/H455
Published: Oxford University Press,
Publication Dates: 2004.
Call Number: O141/H455
9
Corporate Authors:
Group Author: ;
Published: Elsevier,
Publication Dates: 2004.
Group Author: ;
Published: Elsevier,
Publication Dates: 2004.
10
Corporate Authors:
Group Author: ;
Published: Elsevier,
Publication Dates: 2004.
Group Author: ;
Published: Elsevier,
Publication Dates: 2004.
11
Main Authors:
Group Author: ; ; ;
Published: CSLI Publications,
Publication Dates: c2002.
Call Number: B81/B296
Group Author: ; ; ;
Published: CSLI Publications,
Publication Dates: c2002.
Call Number: B81/B296
12
Group Author:
Published: Gale Group,
Publication Dates: [2001]
Call Number: K837.125.6-61/D554/v.236
Published: Gale Group,
Publication Dates: [2001]
Call Number: K837.125.6-61/D554/v.236
13
Main Authors:
Published: Wadsworth Pub.,
Publication Dates: 2000.
Call Number: B81/H965/7th.ed.
Published: Wadsworth Pub.,
Publication Dates: 2000.
Call Number: B81/H965/7th.ed.
14
Main Authors:
Published: Kluwer Academic Publishers,
Publication Dates: c1999.
Call Number: D90/R319
Published: Kluwer Academic Publishers,
Publication Dates: c1999.
Call Number: D90/R319
15
Corporate Authors:
Group Author: ;
Published: North-Holland,
Publication Dates: 1992.
;
Group Author: ;
Published: North-Holland,
Publication Dates: 1992.
16
Corporate Authors:
Group Author: ;
Published: [Published by] North-Holland for the Association pour la promotion de l'informatique avance e ; Distributors for the U.S. and Canada, Elsevier Science Pub. Co.,
Publication Dates: 1990.
; ;
Group Author: ;
Published: [Published by] North-Holland for the Association pour la promotion de l'informatique avance e ; Distributors for the U.S. and Canada, Elsevier Science Pub. Co.,
Publication Dates: 1990.
17
Corporate Authors:
Group Author: ; ;
Published: North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science,
Publication Dates: 1989.
;
Group Author: ; ;
Published: North-Holland ; Sole distributors for the U.S.A. and Canada, Elsevier Science,
Publication Dates: 1989.
18
Main Authors:
Corporate Authors:
Group Author:
Published: Academic Press,
Publication Dates: 1979.
Corporate Authors:
Group Author:
Published: Academic Press,
Publication Dates: 1979.
19
Corporate Authors:
Group Author: ;
Published: North-Holland,
Publication Dates: 1966.
Group Author: ;
Published: North-Holland,
Publication Dates: 1966.
20
Main Authors:
Corporate Authors:
Published: North-Holland,
Publication Dates: 1951.
Corporate Authors:
Published: North-Holland,
Publication Dates: 1951.