Metalogic
The
metalogic
of a system of
logic
is the formal proof supporting its soundness. For example, the
metalogic
of any system of
first-order predicate calculus
is the demonstration of its
completeness
and
consistency
.
<< Previous
Word Browser
Next >>
florida international university
george a. miller
singapore sling
erwin panofsky
paul sturrock
emotional clearing
import tariff
ariodante
hanslope
carole caplin
macadam
portesham
subgrade
burcott, bierton, buckinghamshire
rush (football)
burcott, wing, buckinghamshire
sil international
montrose, houston
method of successive substitution
raymond leppard
viktor belenko
'blue' gene tyranny
aylesbury vale
t square
morton subotnick
french curve
tsugaru strait
cantor distribution
paris embassy attack plot
iga province
copying
cutting
legio vi victrix
sa 3 (apollo)
president of the church (mormonism)
old capitol prison
ausgleich
david rosenboom
tryon county, north carolina
pick up sticks
vitali zholobov
colin mcphee
crdit foncier de france
members of the australian house of representatives, 2001 2004
Copyright 2005-2009 OnPedia.com. All Rights Reserved