Home
Advanced search
Results of search for 'su:"Logic, Symbolic and mathematical."', page 1 of 2

Refine your search

Availability
- Limit to records with available items
Authors
- Appel, Andrew W. (1)
- Boolos, George S. (4)
- Clarke, Michael (1)
- Drucker, Thomas (1)
- Galton, Antony (1)
- Hayes, John P. (1)
- Jeffrey, Richard C. (4)
- Johnstone, P. T. (1)
- Kaye, Richard (1)
- Lewis, Harry R. (1)
- Lipschutz, Seymour (4)
- Machover, Mosh�e (2)
- Papadimitriou, Chris... (1)
- Ramsay, Allan (1)
- Reeves, Steve (1)
- Richards, Tom (1)
- Russell, Bertrand (1)
- Solow, Daniel (1)
- Whitehead, Alfred No... (1)
- Show more
- Show less
Collections
- Non-fiction (22)
Holding libraries
- Main Library (22)
Item types
- Ordinary Loan Books (22)
Locations
- General Stacks (22)
Series
- Cambridge mathematic... (1)
- Cambridge mathematic... (1)
- Cambridge tracts in ... (1)
- International comput... (1)
- Prentice-Hall softwa... (1)
- Schaum's outline ser... (4)
- Show more
- Show less
Topics
- Algebra, Abstract (4)
- Artificial intellige... (2)
- Combinatorial analys... (4)
- Completeness theorem (1)
- Computable functions (4)
- Computational comple... (1)
- Electronic digital c... (1)
- Expert systems (Comp... (1)
- Formal languages (1)
- Logic design (1)
- Logic, Symbolic and ... (21)
- Machine theory (1)
- Mathematics (1)
- Reasoning (2)
- Recursive functions (4)
- Set theory (3)
- Show more
- Show less

Your search returned 22 results.

Not what you expected? Check for suggestions

Sort

1
2
Next
Last

Sort results by: Sort by: Results per page:

Unhighlight Highlight

Select all Clear all

Select titles to:

New list

Results

Image from Google Jackets

Set theory, logic, and their limitations / Mosh�e Machover. by

Machover, Mosh�e

Material type:

Text; Format: print

Publication details: Cambridge : Cambridge University Press, 1996

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA248 MAC.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

Image from Google Jackets

Perspectives on the history of mathematical logic / edited by Thomas Drucker. by

Drucker, Thomas
American Mathematical Society

Material type:

Text; Format: print

Publication details: Boston : Birkh�auser, c1991

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA9 PER.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

Image from Google Jackets

Logic for information technology / Antony Galton. by

Galton, Antony

Material type:

Text; Format: print

Publication details: Chichester : Wiley, c1990

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA9.A5 GAL.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

Image from Google Jackets

Clausal form logic : an introduction to the logic of computer reasoning / Tom Richards. by

Richards, Tom

Series: International computer science series

Material type:

Text; Format: print

Publication details: Sydney ; Reading, Mass. : Addison-Wesley Pub. Co., 1989

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA76.76.E95 RIC.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

Image from Google Jackets

Notes on logic and set theory / P. T. Johnstone. by

Johnstone, P. T

Series: Cambridge mathematical textbooks

Material type:

Text; Format: print

Publication details: Cambridge : Cambridge University Press, 1987

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA9 JOH.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

Image from Google Jackets

Formal methods in artificial intelligence / Allan Ramsay. by

Ramsay, Allan

Series: Cambridge tracts in theoretical computer science ; 6

Material type:

Text; Format: print

Publication details: Cambridge ; New York : Cambridge University Press, 1991, c1988

Availability: Items available for loan: Main Library (1)Location, call number: GEN Q335 RAM.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

Image from Google Jackets

Principia mathematica to *56 / by Alfred North Whitehead and Bertrand Russell. by

Whitehead, Alfred North
Russell, Bertrand

Series: Cambridge mathematical library

Edition: 2nd ed.

Material type:

Text; Format: print

Publication details: Cambridge : Cambridge University Press, 1927

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA8.4 WHI.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

Image from Google Jackets

Computability and logic / George S. Boolos, Richard C. Jeffrey. by

Boolos, George S
Jeffrey, Richard C

Edition: 3rd ed.

Material type:

Text; Format: print

Publication details: Cambridge : Cambridge University Press, 1989

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA9.59 BOO.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

Image from Google Jackets

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

Lewis, Harry R
Papadimitriou, Christos H

Series: Prentice-Hall software series

Material type:

Text; Format: print

Publication details: Englewood Cliffs, N.J. : Prentice-Hall, c1981

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA267 LEW.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

10.

Image from Google Jackets

Computability and logic / George S. Boolos, Richard C. Jeffrey. by

Boolos, George S
Jeffrey, Richard C

Edition: 3rd ed.

Material type:

Text; Format: print

Publication details: Cambridge : Cambridge University Press, 1989

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA9.59 BOO.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

11.

Image from Google Jackets

Computability and logic / George S. Boolos, Richard C. Jeffrey. by

Boolos, George S
Jeffrey, Richard C

Edition: 3rd ed.

Material type:

Text; Format: print

Publication details: Cambridge : Cambridge University Press, 1989

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA9.59 BOO.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

12.

Image from Google Jackets

Computability and logic / George S. Boolos, Richard C. Jeffrey. by

Boolos, George S
Jeffrey, Richard C

Edition: 3rd ed.

Material type:

Text; Format: print

Publication details: Cambridge : Cambridge University Press, 1989

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA9.59 BOO.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

13.

Image from Google Jackets

Set theory, logic, and their limitations / Mosh�e Machover. by

Machover, Mosh�e

Material type:

Text; Format: print

Publication details: Cambridge : Cambridge University Press, 1996

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA248 MAC.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

14.

Image from Google Jackets

Theory and problems of Linear algebra / by Seymour Lipschutz. by

Lipschutz, Seymour
Theory and problems of discrete mathematics

Series: Schaum's outline series

Edition: SI (metric) edition.

Material type:

Text; Format: print

Publication details: New York : McGraw-Hill, 1976

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA184 LIP.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

15.

Image from Google Jackets

Theory and problems of Linear algebra / by Seymour Lipschutz. by

Lipschutz, Seymour
Theory and problems of discrete mathematics

Series: Schaum's outline series

Edition: SI (metric) edition.

Material type:

Text; Format: print

Publication details: New York : McGraw-Hill, 1976

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA184 LIP.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

16.

Image from Google Jackets

Introduction to digital logic design / John P. Hayes. by

Hayes, John P

Material type:

Text; Format: print

Publication details: Reading, Mass. : Addison-Wesley, 1993

Availability: Items available for loan: Main Library (1)Location, call number: GEN TK7888.4 HAY.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

17.

Image from Google Jackets

Schaum's outline of theory and problems of discrete mathematics / by Seymour Lipschutz. by

Lipschutz, Seymour

Series: Schaum's outline series

Material type:

Text; Format: print

Publication details: New York : McGraw-Hill, c1976

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA162 LIP.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

18.

Image from Google Jackets

Theory and problems of Linear algebra / by Seymour Lipschutz. by

Lipschutz, Seymour
Theory and problems of discrete mathematics

Series: Schaum's outline series

Edition: SI (metric) edition.

Material type:

Text; Format: print

Publication details: New York : McGraw-Hill, 1976

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA184 LIP.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

19.

Image from Google Jackets

Logic for computer science / Steve Reeves, Michael Clarke. by

Reeves, Steve
Clarke, Michael

Material type:

Text; Format: print

Publication details: Workingham, England : Addison-Wesley, 1990

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA9 REE.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

20.

Image from Google Jackets

How to read and do proofs : an introduction to mathematical thought processes / Daniel Solow. by

Solow, Daniel

Edition: 2nd ed.

Material type:

Text; Format: print

Publication details: New York : Wiley, c1990

Availability: Items available for loan: Main Library (1)Location, call number: GEN QA9 SOL.

Found in Open Library:

star rating

Average : 0.0 out of 5 stars

Place hold Request article Save to lists Add to cart (remove)

1
2
Next
Last

Not finding what you're looking for?

Make a purchase suggestion

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 22 results.