Study Resource
Explore
Arts & Humanities
Business
Engineering & Technology
Foreign Language
History
Math
Science
Social Science
Top subcategories
Advanced Math
Algebra
Basic Math
Calculus
Geometry
Linear Algebra
Pre-Algebra
Pre-Calculus
Statistics And Probability
Trigonometry
other →
Top subcategories
Astronomy
Astrophysics
Biology
Chemistry
Earth Science
Environmental Science
Health Science
Physics
other →
Top subcategories
Anthropology
Law
Political Science
Psychology
Sociology
other →
Top subcategories
Accounting
Economics
Finance
Management
other →
Top subcategories
Aerospace Engineering
Bioengineering
Chemical Engineering
Civil Engineering
Computer Science
Electrical Engineering
Industrial Engineering
Mechanical Engineering
Web Design
other →
Top subcategories
Architecture
Communications
English
Gender Studies
Music
Performing Arts
Philosophy
Religious Studies
Writing
other →
Top subcategories
Ancient History
European History
US History
World History
other →
Top subcategories
Croatian
Czech
Finnish
Greek
Hindi
Japanese
Korean
Persian
Swedish
Turkish
other →
Profile
Documents
Logout
Upload
Math
Advanced Math
Logic
Math
Advanced Math
Logic
A Survey on the Model Theory of Difference Fields - Library
A Survey on Small Fragments of First-Order Logic over Finite
A Supervised Learning Approach to Search of Definitions[*]
A strong intuitionistic theory of functionals
A Small Framework for Proof Checking - CEUR
A simplified form of condensed detachment - Research Online
A Simple Tableau System for the Logic of Elsewhere
A simple proof of Parsons` theorem
A Simple Exposition of Gödel`s Theorem
A Simple and Practical Valuation Tree Calculus for First
A Simpl Shortest Path Checker Verification
A SHORT PROOF FOR THE COMPLETENESS OF
A Short Introduction to the Idea of Proof.
A Short Glossary of Metaphysics
A short article for the Encyclopedia of Artificial Intelligence: Second
A SHORT AND READABLE PROOF OF CUT ELIMINATION FOR
A Shallow Embedding of Pure Type Systems into First
A sequent calculus demonstration of Herbrand`s Theorem
A Separate Court for Children: Historical Antecedents of a
a semantic perspective - Institute for Logic, Language and
A Revised Concept of Safety for General Answer Set Programs
<
1
...
136
137
138
139
140