Results 151 to 160 of about 100,437 (202)

A Tour Through Mathematical Logic

, 2005
1. Predicate logic 2. Set theory 3. Recursion theory and computability 4. Model theory 5. Independence results in set theory 6. Nonstandard analysis 7. Constructive mathematics Appendix A. A deductive system for first-order logic Appendix B.
M. Beeson
semanticscholar   +1 more source

Mathematical Logic with Special Reference to the Natural Numbers

, 1972
1. Formal Systems 2. Propositional calculi 3. Predicate calculi 4. A complete, decidable arithmetic 5. Aoo -Definable functions 6. A complete, undecidable arithmetic 7. Ao- Definable functions 8. An incomplete undecidable arithmetic 9.
S. Steen
semanticscholar   +1 more source

Predicate Logic

Encyclopedia of Database Systems, 2018
Irving M. Copi, Carl Cohen, Victor Rodych   +2 more
semanticscholar   +1 more source

Intuitionistic Fuzzy Predicate Logic

, 2017
K. Atanassov
semanticscholar   +1 more source

Basics of Second-Order Predicate Logic

THE LOGICAL FORESIGHT - Journal for Logic and Science, 2023
Nijaz Ibrulj
exaly  

Predicate Correlation Learning for Scene Graph Generation

IEEE Transactions on Image Processing, 2022
Leitian Tao, Li Mi, Nannan Li
exaly  

History of Mathematical Logic from Leibniz to Peano

Mathematical Gazette, 1972
R. Goodstein
semanticscholar   +1 more source

Morpho-Semantic of Predicate in Indonesian

Journal of Language Teaching and Research, 2021
Made Sri Satyawati
exaly  

Modelling Functional Dependencies in Databases using Mathematical Logic

International Conference on Intelligent Engineering Systems, 2007
A. Lovrencic, M. Cubrilo, Tonimir Kisasondi   +2 more
semanticscholar   +1 more source

An Outline of Mathematical Logic

Springer Netherlands, 1974
A. Grzegorczyk
semanticscholar   +1 more source