Delta State University

384 Results Found Subscribe to search results
Select All
Switch to list view
Switch to thumbnail view
000000000000DSU
Print
1. 
Cover image for Bridge to abstract mathematics : mathematical proof and structures / Ronald P. Morash.
Bridge to abstract mathematics : mathematical proof and structures / Ronald P. Morash.
Bridge to abstract mathematics : mathematical proof and structures / Ronald P. Morash.
Author 
Morash, Ronald P. author
Publication Date 
1987
Format 
Books
ISBN 
9780394354293
Available: Copies:
2. 
Cover image for Models, algebras, and proofs [electronic resource] : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá / edited by Xavier Caicedo, Carlos H. Montenegro.
Models, algebras, and proofs [electronic resource] : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá / edited by Xavier Caicedo, Carlos H. Montenegro.
Models, algebras, and proofs [electronic resource] : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá / edited by Xavier Caicedo, Carlos H. Montenegro.
Author 
Latin-American Symposium on Mathematical Logic (10th : 1996 : Bogotá, Colombia)
Publication Date 
1999
Format 
Electronic Resources
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=39798
ISBN 
9780585330501
Available: Copies:
3. 
Cover image for Mathematical logic, the theory of algorithms, and the theory of sets : dedicated to Academician Petr Sergeevič Novikov on his seventieth birthday / edited by Place of publication not identified Adjan.
Mathematical logic, the theory of algorithms, and the theory of sets : dedicated to Academician Petr Sergeevič Novikov on his seventieth birthday / edited by Place of publication not identified Adjan.
Mathematical logic, the theory of algorithms, and the theory of sets : dedicated to Academician Petr Sergeevič Novikov on his seventieth birthday / edited by Place of publication not identified Adjan.
Author 
Novikov, P. S. (Petr Sergeevich)
Publication Date 
1977
Format 
Regular print
ISBN 
9780821830338
Available: Copies:
4. 
Cover image for Symbolic logic.
Symbolic logic.
Symbolic logic.
Author 
Copi, Irving M.
Publication Date 
1954
Format 
Books
Available: Copies:
5. 
Cover image for Symbolic logic / Dale Jacquette.
Symbolic logic / Dale Jacquette.
Symbolic logic / Dale Jacquette.
Author 
Jacquette, Dale.
Publication Date 
2001
Format 
Books
ISBN 
9780534537302
Available: Copies:
6. 
Cover image for Symbolic logic.
Symbolic logic.
Symbolic logic.
Author 
Venn, John, 1834-1923.
Publication Date 
1971
Format 
Books
ISBN 
9780828402514
Available: Copies:
7. 
Cover image for Applied logic / Vito F. Sinisi.
Applied logic / Vito F. Sinisi.
Applied logic / Vito F. Sinisi.
Author 
Sinisi, Vito F.
Publication Date 
2000
Format 
Books
ISBN 
9780761816973
Available: Copies:
8. 
Cover image for Introduction to mathematical logic / Elliott Mendelson.
Introduction to mathematical logic / Elliott Mendelson.
Introduction to mathematical logic / Elliott Mendelson.
Author 
Mendelson, Elliott.
Publication Date 
1997
Format 
Books
ISBN 
9780412808302
Available: Copies:
9. 
Cover image for Fundamentals of mathematics.
Fundamentals of mathematics.
Fundamentals of mathematics.
Author 
Richardson, Moses, 1911-1968.
Publication Date 
1958
Format 
Books
Available: Copies:
10. 
Cover image for Systems of logic / Norman M. Martin.
Systems of logic / Norman M. Martin.
Systems of logic / Norman M. Martin.
Author 
Martin, Norman M.
Publication Date 
1989
Format 
Books
ISBN 
9780521365895 9780521367707
Available: Copies:
11. 
Cover image for Techniques of deductive inference.
Techniques of deductive inference.
Techniques of deductive inference.
Author 
Leblanc, Hugues, 1924-
Publication Date 
1966
Format 
Books
Available: Copies:
12. 
Cover image for Introduction to mathematical logic.
Introduction to mathematical logic.
Introduction to mathematical logic.
Author 
Mendelson, Elliott.
Publication Date 
1964
Format 
Books
Available: Copies:
Select All
384 Results Found Subscribe to search results
Limit Search Results
Library
Author
Stanford Artificial Intelligence Laboratory.
(18)
Stanford University. Computer Science Department. AI Laboratory
(18)
Stanford University. Computer Science Department. Artificial Intelligence Laboratory
(18)
Carnap, Rudolf, 1891-1970.
(8)
Carnap, Rudolph, 1891-1970
(8)
Format
Item Category 2
Subject
Logic, Symbolic and mathematical.
(171)
Mathematics -- Philosophy.
(22)
Logic, Symbolic and mathematical -- Congresses.
(16)
Computer programming.
(11)
Set theory.
(11)
Publication Date
This graph shows the distribution of publication dates for use with a date range slider. Switch to Years view for a more detailed breakdown of search results by year.
-
Language

Instructional Resources Center     |      University Archives and Museum      |      Roberts-LaForge Library