Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Theory Of Computation (F) > Mathematical Logic And Formal Languages (F.4) > Mathematical Logic (F.4.1)
  Mathematical Logic (F.4.1) See Reviews  
Subject Descriptors:
Computability Theory (59)
Computational Logic (96)
Lambda Calculus And Related Systems (128)
Logic And Constraint Programming (206)
Mechanical Theorem Proving (95)
Modal Logic (31)
Model Theory (40)
Proof Theory (69)
Recursive Function Theory (40)
Set Theory (45)
Temporal Logic (35)
Proper Nouns:
Fcp (1)
Hol (2)
Nuprl (1)
Obj (1)
Prolog (11)
Prolog Iii (1)
Pruf (1)
Reviews limited to:

Reviews about "Mathematical Logic (F.4.1)":
Simple type theory: a practical logic for expressing and reasoning about mathematical ideas
Farmer W., BIRKHAUSER, Basel, Switzerland, 2023. 312 pp.  Type: Book (3031211138)
Proof theory and algebra in logic
Ono H., Springer International Publishing, New York, NY, 2019. 168 pp.  Type: Book
Credulous acceptability, poison games and modal logic
Grossi D., Rey S.  AAMAS 2019 (Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, Montreal, QC, Canada, May 13-17, 2019) 1994-1996, 2019.  Type: Proceedings
Symbolic checking of fuzzy CTL on fuzzy program graph
Ebrahimi M., Sotudeh G., Movaghar A. Acta Informatica 56(1): 1-33, 2019.  Type: Article
Neighborhood semantics for modal logic
Pacuit E., Springer International Publishing, New York, NY, 2017. 154 pp.  Type: Book (978-3-319671-48-2)
Safe autonomy under perception uncertainty using chance-constrained temporal logic
Jha S., Raman V., Sadigh D., Seshia S. Journal of Automated Reasoning 60(1): 43-62, 2018.  Type: Article
Generalizing Morley’s and other theorems with automated realization
Braude E., Abdyldayev S. Journal of Automated Reasoning 60(4): 503-526, 2018.  Type: Article
Related Topics
F.4.1 Mathematical Logic
  - Deduction And Theorem Proving
  - Models Of Computation
  - Knowledge Representation Formalisms And Methods
  - Automatic Programming
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2023 ThinkLoud®
Terms of Use
| Privacy Policy