Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
CIRCULARITY IN SOUNDNESS AND COMPLETENESS
Richard Kaye
Mathematics
Research output
:
Contribution to journal
›
Article
›
peer-review
211
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'CIRCULARITY IN SOUNDNESS AND COMPLETENESS'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Arts & Humanities
Circularity
100%
First-order Logic
82%
Completeness
80%
Mathematics
57%
Mathematics
Soundness
79%
First-order Logic
76%
Completeness
59%