Fork me on GitHub
Math for the people, by the people.

User login

analytics and formal logics in meta-mathematics

Defines: 
meta-theory, metatheory, metalogic, metamathematics, meta-theorems, metatheorems
Keywords: 
meta-logic,metamathematics, mathematical foundations, axiomatics and formal logics, meta-mathematics
Synonym: 
meta-logic,metamathematics, mathematical foundations, axiomatics and formal logics
Type of Math Object: 
Topic
Major Section: 
Reference

Mathematics Subject Classification

53B21 no label found03G30 no label found03G20 no label found03B22 no label found01A60 no label found18-00 no label found03G30 no label found46M15 no label found03B22 no label found03B50 no label found03B15 no label found

Subscribe to Comments for "analytics and formal logics in meta-mathematics"