Listing 1 - 10 of 160 | << page >> |
Sort by
|
Choose an application
Choose an application
Choose an application
Choose an application
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.
Choose an application
Choose an application
Computer science --- Lambda calculus --- Calculus, Lambda --- Logic, Symbolic and mathematical
Choose an application
Induction (Logic). --- Logic, Symbolic and mathematical. --- Logic. --- Science --- Methodology.
Choose an application
The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.
Logic, Symbolic and mathematical. --- Logic. --- Logic --- Logic, symbolic and mathematical --- Logique --- Logique mathématique --- Logique. --- Logique mathématique. --- Logique mathématique.
Choose an application
Pragmatics --- Pragmatique --- Pragmalinguistics --- General semantics --- Language and languages --- Logic, Symbolic and mathematical --- Semantics (Philosophy) --- Philosophy
Choose an application
#KVHB:Methodologie --- #KVHB:Wetenschappelijk onderzoek --- Research --- Science --- Methodology. --- Methodology --- Scientific method --- Logic, Symbolic and mathematical
Listing 1 - 10 of 160 | << page >> |
Sort by
|