Limit Search Results
Author
SpringerLink (Online service)
(15)
Cupillari, Antonella.
(3)
Taylor and Francis.
(3)
Girard, Jean-Yves.
(2)
Negri, Sara.
(2)
Language
Publication Date
-
Subject
Proof theory.
(27)
Logic, Symbolic and mathematical.
(12)
Mathematics.
(5)
Proof theory -- Textbooks.
(5)
Electronic books.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
66 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for BEGINNER'S GUIDE TO MATHEMATICAL PROOF
BEGINNER'S GUIDE TO MATHEMATICAL PROOF
Author 
DeBonis, Mark J.
Preferred Shelf Number 
QA9.54
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781032687728
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for A bridge to higher mathematics
A bridge to higher mathematics
Author 
Kirkwood, James R., author. Robeva, Raina S., author.
Preferred Shelf Number 
QA9.54
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781032623849
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Taking the "oof!" out of proofs
Taking the "oof!" out of proofs
Author 
Draganov, Alexandr, author.
Preferred Shelf Number 
QA9.54
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003456766
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Attribute-based encryption (ABE) : foundations and applications within blockchain and cloud environments
Attribute-based encryption (ABE) : foundations and applications within blockchain and cloud environments
Author 
Xia, Qi, author.
Preferred Shelf Number 
TK5102.94 .G365 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119989387
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Author 
Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43513-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Algorithms for Constructing Computably Enumerable Sets
Algorithms for Constructing Computably Enumerable Sets
Author 
Supowit, Kenneth J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26904-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Author 
Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43264-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Author 
Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33163-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
Author 
Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36978-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Proofs 101 : an introduction to formal mathematics
Proofs 101 : an introduction to formal mathematics
Author 
Kirtland, Joseph (Mathematics professor), author.
Preferred Shelf Number 
QA9.54
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003082927
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Wireless blockchain : principles, technologies and applications
Wireless blockchain : principles, technologies and applications
Author 
Imran, Muhammad Ali, editor. Cao, Bin, editor. Zhang, Lei, editor. Peng, Mugen, editor.
Preferred Shelf Number 
QA76.9 .B56
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119790839
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Formal semantics in modern type theories
Formal semantics in modern type theories
Author 
Chatzikyriakidis, Stergios, author. Luo, Zhaohui, author.
Preferred Shelf Number 
QA76.5913
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119489252
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets