BUET online Catalog › Results of search for '(su:{Logic, Symbolic and mathematical.})'

1.

Elements of the theory of computation

by Lewis, Harry R; Papadimitriou, Christos H.

Edition: 1st ed.Publisher: New Delhi Prentice-Hall of India 1981Availability: Items available for loan: Central Library, BUET [510.78/LEW/1981] (2).

2.

Logic for computer science foundations of automatic theorem proving

by Gallier, Jean H.

Edition: 1st ed.Publisher: New York Harper & Row 1986Availability: Items available for loan: Central Library, BUET [511.3/GAL/1986] (1).

3.

No cover image available No cover image available

A profile of mathematical logic

by DeLong, Howard.

Publisher: Massachusetts Addison-Wesley Pub. 1970Availability: Items available for loan: Central Library, BUET [164 DEL/1970] (1).

4.

Logic primer

by Allen, Collin; Hand, Michael.

Edition: 1st ed.Publisher: New Delhi Prentice-Hall of India 2001Availability: Items available for loan: Central Library, BUET [005.131/ALL/2001] (1).

5.

Mathematical logic for computer science

by Lu, Zhongwan.

Edition: 2nd ed. Publisher: Singapore World Scientific 1989Availability: Items available for loan: Central Library, BUET [005.131/ZHO/1998] (1).

Koha online

Refine your search

Authors

Item types

Locations

Series

Topics

	1.	Elements of the theory of computation by Lewis, Harry R; Papadimitriou, Christos H. Edition: 1st ed.Publisher: New Delhi Prentice-Hall of India 1981Availability: Items available for loan: Central Library, BUET [510.78/LEW/1981] (2). Place hold Add to cart (remove)
	2.	Logic for computer science foundations of automatic theorem proving by Gallier, Jean H. Edition: 1st ed.Publisher: New York Harper & Row 1986Availability: Items available for loan: Central Library, BUET [511.3/GAL/1986] (1). Place hold Add to cart (remove)
	3.	No cover image available No cover image available A profile of mathematical logic by DeLong, Howard. Publisher: Massachusetts Addison-Wesley Pub. 1970Availability: Items available for loan: Central Library, BUET [164 DEL/1970] (1). Place hold Add to cart (remove)
	4.	Logic primer by Allen, Collin; Hand, Michael. Edition: 1st ed.Publisher: New Delhi Prentice-Hall of India 2001Availability: Items available for loan: Central Library, BUET [005.131/ALL/2001] (1). Place hold Add to cart (remove)
	5.	Mathematical logic for computer science by Lu, Zhongwan. Edition: 2nd ed. Publisher: Singapore World Scientific 1989Availability: Items available for loan: Central Library, BUET [005.131/ZHO/1998] (1). Place hold Add to cart (remove)