Welcome to the Kids' Library!
Search for books, movies, music, magazines, and more.
Your session will expire automatically in
0
seconds.
Continue session
End session now
Back to Search Results
Limit/Sort Search
SearchType
Keyword
Author
Title
Subject
Call Number
Alternate Subject
Search
Search Scope
PSU Library Consortium
Pittsburg State University
Academic Libraries
Public Libraries
Pittsburg Area
Unified School District
Leonard H. Axe Library
Career Resource Center Library
Eureka Public Library
Fort Scott Community College Library
George Nettels Elementary School Library
Kansas Technology Center Library
Lakeside Elementary School Library
Meadowlark Elementary School Library
Parsons Public Library
Pittsburg Community Middle School Library
Pittsburg High School Library
Pittsburg Public Library
Sedan Public Library
Westside Elementary School Library
Childrens Collection
Available items only
Add Marked to Bag
Add All On Page
Alternate Subjects (1-9 of 9)
Logique Symbolique Et Mathematique
1
Admissibility of logical inference rules
Rybakov, Vladimir V. (Vladimir Vladimir), 1961-
Amsterdam ; New York : Elsevier, 1997. 1997
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe Elsevier ScienceDirect Ebook
Electronic Book
---
Available
2
Alan Turing : his work and impact
Amsterdam ; Boston : Elsevier, 2013. 2013
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe Elsevier ScienceDirect Ebook
Electronic Book
---
Available
3
Handbook of logic and language
Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, 1997. 1997
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe Elsevier ScienceDirect Ebook
Electronic Book
---
Available
4
Handbook of the logic of argument and inference : the turn towards the practical
Amsterdam ; Boston : North Holland/Elsevier, 2002. 2002
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe Elsevier ScienceDirect Ebook
Electronic Book
---
Available
5
Logic and automata : history and perspectives
Amsterdam : Amsterdam University Press, ©2008. 2008
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe JSTOR Open Ebooks
Electronic Book
---
Available
6
Logical frameworks for truth and abstraction : an axiomatic study
Cantini, Andrea.
Amsterdam ; New York : Elsevier Science B.V., 1996. 1996
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe Elsevier ScienceDirect Ebook
Electronic Book
---
Available
7
Mathematical logic
Turing, Alan, 1912-1954.
Amsterdam ; New York : Elsevier Science, 2001. 2001
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe Elsevier ScienceDirect Ebook
Electronic Book
---
Available
8
Principles of logic and logic programming
Metakides, George, 1945-
Amsterdam ; New York : Elsevier, 1996. 1996
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe Elsevier ScienceDirect Ebook
Electronic Book
---
Available
9
Realizability : an introduction to its categorical side
Oosten, Jaap van.
Oxford : Elsevier, 2008. 2008
Rating:
Website
Copies
Location
Call No.
OPAC Message
Status
Axe Elsevier ScienceDirect Ebook
Electronic Book
---
Available
Add Marked to Bag
Add All On Page
Locate in results
Back to Search Results
Limit/Sort Search
Available items only
Website