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
Select an Action
66 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for A modern introduction to fuzzy mathematics
A modern introduction to fuzzy mathematics
Author 
Syropoulos, Apostolos, author.
Preferred Shelf Number 
QA248.5 .S97 2020
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119445326
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
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:
27. 
Cover image for UNDERSTANDING MATHEMATICAL PROOF
UNDERSTANDING MATHEMATICAL PROOF
Author 
TAYLOR, JOHN.
Preferred Shelf Number 
QA9.54
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429190735
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for An introduction to proof through real analysis
An introduction to proof through real analysis
Author 
Madden, Daniel J., 1948- author. Aubrey, Jason A., 1975- author.
Preferred Shelf Number 
QA9.54 .M335 2017
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119314769
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I
Evolutionary Multi-Criterion Optimization 8th International Conference, EMO 2015, Guimarães, Portugal, March 29 --April 1, 2015. Proceedings, Part I
Author 
Gaspar-Cunha, António. editor. Henggeler Antunes, Carlos. editor. Coello, Carlos Coello. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15934-8
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers.
Author 
Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46823-4
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Author 
Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46678-0
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
Author 
Aher, Martin. editor. Hole, Daniel. editor. Jeřábek, Emil. editor. Kupke, Clemens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-46906-4
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Software engineering mathematics
Software engineering mathematics
Author 
Woodcock, Janet, author. Taylor and Francis.
Preferred Shelf Number 
QA76.758 .W661989
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Small and short-range radar systems
Small and short-range radar systems
Author 
Charvat, Gregory L., author.
Preferred Shelf Number 
TK6575 .C4746 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Introduction to mathematical proofs
Introduction to mathematical proofs
Author 
Roberts, Charles, author. Taylor and Francis.
Preferred Shelf Number 
QA9.54
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Why is there philosophy of mathematics at all?
Why is there philosophy of mathematics at all?
Author 
Hacking, Ian, author.
Preferred Shelf Number 
QA8.4 H29 2014
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Select an Action