Home
Advanced search
Results of search for '(su:{Logic, Symbolic and mathematical.})'

Refine your search

Availability
- Limit to records with available items
Authors
- Boolos, George 1
- Burgess, John P. 1
- Burris, Stanley 1
- Gerstein, Larry J. 1
- Gregg, John 1
- Hedman, Shawn 1
- Jeffrey, Richard C. 1
- Krithivasan, Kamala 1
- Lewis, Harry R. 1
- Lipschutz, Seymour 2
- Lipson, Marc 2
- McKay, Thomas J. 1
- Nawab, Syed Hamid 1
- Oppenheim, Alan V.[ed 1
- Papadimitriou, Christos H. 1
- Rosen, Kenneth H, 1
- Schumacher, Carol 1
- Spencer, Joel H. 1
- Wittgenstein, Ludwig,‏ 1
- Show more
- Show less
Item types
- Book - Borrowing 14
- Book - Textbooks 1
- NB - Book (Non borrowing) 1
Locations
- First floor 11
- Lower Floor 3
Series
Topics
- Algebra, Abstract 2
- Algebra, Boolean 1
- Combinatorial analysis 2
- Computable functions 1
- Computational complexity 1
- Computer science 1
- Expert systems (Computer science) 1
- Formal languages 1
- Language and languages 1
- Logic 1
- Logic, Modern 1
- Logic, symbolic and mathematical 2
- Logic, Symbolic and mathematical 12
- Machine theory 1
- Mathematics 2
- Problem-solving 1
- Random graphs 1
- Recursive functions 1
- Signal processing 1
- Show more
- Show less

Your search returned 14 results.

Not what you expected? Check for suggestions

Sort

Sort results by: Sort by:

Unhighlight Highlight

Select all Clear all

Select titles to:

New list

New tag: (done)

Tag status here.

Results

Image from Google Jackets

Logic for mathematics and computer science / Stanley N. Burris, Department of Pure Mathematics, University of Waterloo. by

Burris, Stanley [author.]

Material type:

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;

Publisher: Upper Saddle River, N.J. : Prentice Hall, [1998]Copyright date: c1998

Availability: Items available for loan: Central Library (1)Call number: 511.3 BUR.

star rating

Average : 0.0 out of 5 stars

Image from Google Jackets

Schaum’s outline of theory and problems of discrete mathematics / Seymour Lipschutz, Ph.D., Temple university, Marc Lars Lipson, Ph.D., university of Georgia. by

Lipschutz, Seymour [author.]
Lipson, Marc [author.]

Series: Schaum's outline series

Edition: Second edition.Seventeenth reprint edition.

Material type:

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;

Publisher: New Delhi : Tata McGraw-Hill Publishing Company Limited, 2004

Other title:

Theory and problems of discrete mathematics
Discrete mathematics

Online resources:

Contributor biographical information
Publisher description
Table of contents

Availability: Items available for loan: Central Library (2)Call number: 512.02 LIP, ...

star rating

Average : 0.0 out of 5 stars

Image from Google Jackets

A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman. by

Hedman, Shawn

Series: Oxford texts in logic ; 1

Material type:

Text; Format: print ; Literary form: Not fiction

Publication details: Oxford ; New York : Oxford University Press, 2004

Online resources:

Publisher description
Table of contents only

Availability: Items available for loan: Central Library (1)Call number: 160 HED.

star rating

Average : 0.0 out of 5 stars

Image from Google Jackets

Symbolic and knowledge-based signal processing / editors, Alan V. Oppenheim and S. Hamid Nawab. by

Oppenheim, Alan V.[ed
Nawab, Syed Hamid

Series: Prentice-Hall signal processing series

Material type:

Text

Publication details: Englewood Cliffs, N.J. : Prentice Hall, c1992

Availability: Items available for loan: Central Library (1)Call number: 621.38220285OPP.

star rating

Average : 0.0 out of 5 stars

Image from Google Jackets

Schaum’s outline of theory and problems of discrete mathematics / Seymour Lipschutz, Ph.D., Temple University, Marc Lars Lipson, Ph.D., University of Virginia. by

Lipschutz, Seymour [author.]
Lipson, Marc [author.]

Series: Schaum's outline series

Edition: Third edition.

Material type:

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;

Publisher: New York : McGraw-Hill, [2007]Copyright date: c2007

Other title:

Theory and problems of discrete mathematics
Discrete mathematics

Online resources:

Contributor biographical information
Publisher description
Table of contents

Availability: Items available for loan: Central Library (1)Call number: 512.02 LIP. Items available for reference: Central Library: Not for loan (1)Call number: 512.02 LIP. Not available: Central Library: Checked out (1).

star rating

Average : 0.0 out of 5 stars

Image from Google Jackets

Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets / John Gregg. by

Gregg, John [author.]

Edition: Eastern economy edition.

Material type:

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;

Publisher: New Delhi : IEEE Press, 2000

Online resources:

Table of Contents
Publisher description

Availability: Items available for loan: Central Library (1)Call number: 511.324 GRE.

star rating

Average : 0.0 out of 5 stars

Image from Google Jackets

Computability and Logic / George S. Boolos, John P. Burgess, Princeton University, Richard C. Jeffrey, Princeton University. by

Boolos, George [author.]
Burgess, John P, 1948- [author.]
Jeffrey, Richard C [author.]

Edition: Fourth edition.

Material type:

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;

Publisher: Cambridge ; New York : Cambridge University Press, 2002

Online resources:

Publisher description
Table of contents

Availability: Items available for loan: Central Library (1)Call number: 511.3 BOO.

star rating

Average : 0.0 out of 5 stars

Image from Google Jackets

The strangeLogic of random graphs / Joel Spencer. by

Spencer, Joel H [author.]

Series: Algorithms and combinatorics ; 22

Material type:

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;

Publisher: Berlin ; New York : Springer, 2001

Online resources:

Publisher description
Table of contents only

Availability: Items available for loan: Central Library (1)Call number: 511.5 SPE.

star rating

Average : 0.0 out of 5 stars

Image from Google Jackets

Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou. by

Lewis, Harry R [author.]
Papadimitriou, Christos H [author.]

Edition: Second edition.

Material type:

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;

Publisher: Upper Saddle River, New Jersey : Prentice-Hall, [1998]Copyright date: c1998

Availability: Items available for loan: Central Library (3)Call number: 511.3 LEW, ...

star rating

Average : 0.0 out of 5 stars

Image from Google Jackets

Discrete mathematics and its applications / Kenneth H. Rosen, Monmouth University and formerly AT&T laboratories ; adapted by Kamala Krithivasan, Indian Institute of Technology Madras, Chennai, India. by

Rosen, Kenneth H [author.]
Krithivasan, Kamala [adapter.]

Edition: Seventh edition.Global edition.

Material type:

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;

Availability: Items available for loan: Central Library (1)Call number: 511 ROS.

star rating

Average : 5.0 out of 5 stars (1 votes)

Image from Google Jackets

Chapter zero : fundamental notions of abstract mathematics / Carol Schumacher, Kenyon College. by

Schumacher, Carol [author.]

Series: Addison-Wesley higher mathematics

Edition: First edition.

Material type:

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;

Availability: Items available for loan: Central Library (1)Call number: 511.3 SCH.

star rating

Average : 0.0 out of 5 stars

Image from Google Jackets

Tractatus logico-philosophicus / by Ludwig Wittgenstein. by

Wittgenstein, Ludwig,‏, 1889-1951 [author.]

Material type:

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;

Publisher: [Middletown, Delaware] : [publisher not identified], [2019?]

Availability: Items available for loan: Central Library (1)Call number: 192 WIT.

star rating

Average : 0.0 out of 5 stars

Image from Google Jackets

Modern formal logic / Thomas J. McKay, Syracuse University. by

McKay, Thomas J [author.]

Material type:

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;

Publisher: New York : Macmillan Publishing Company ; London : Collier Macmillan Publishers, [1989]Copyright date: c1989

Availability: Items available for loan: Central Library (1)Call number: 160 MCK.

star rating

Average : 0.0 out of 5 stars

Image from Google Jackets

Introduction to mathematical structures and proofs / Larry J. Gerstein, University of California, Santa Barbara. by

Gerstein, Larry J [author.]

Series: Textbooks in mathematical sciences

Material type:

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized;

Publisher: New York : Springer : Jones and Bartlett Publishers, [1996]Copyright date: c1996

Online resources:

Publisher description
Table of contents only

Availability: Items available for loan: Central Library (1)Call number: 511.3 GER.

star rating

Average : 0.0 out of 5 stars

Not finding what you're looking for?

Make a purchase suggestion