Public Group
active 5 years, 1 month agoGroup Admins
We the People of the United States, in Order to form a more perfect Union, establish Justice, insure domestic Tranquility, provide for the common defence, promote the general Welfare, and secure the Blessings of Liberty to ourselves and our Posterity, do ordain and establish this Constitution for the United States of America. With Upgraded Activated Lightning Enforcement II.I.JI.RIGHTS.II.I.JI. by our United States Justice Code on the Basis of Article III. Sec 3 II. I.
-
America1 posted an update in the group
Group for Theoretical and Applied Logic (GTAL) 5 years, 1 month ago -
America1 started the topic Type Theory in the forum
Group for Theoretical and Applied Logic (GTAL) 7 years, 3 months agoAreas of Strength:
-
America1 started the topic Set Theory in the forum
Group for Theoretical and Applied Logic (GTAL) 7 years, 3 months agoAreas of Strength:
-
America1 started the topic Theory of Computing in the forum
Group for Theoretical and Applied Logic (GTAL) 7 years, 3 months agoAreas of Strength:
-
America1 started the topic Temporal And Modal Logics in the forum
Group for Theoretical and Applied Logic (GTAL) 7 years, 3 months agoAreas of Strength:
-
America1 started the topic Proof Theory in the forum
Group for Theoretical and Applied Logic (GTAL) 7 years, 3 months agoAreas of Strength:
-
America1 started the topic Model Theory in the forum
Group for Theoretical and Applied Logic (GTAL) 7 years, 3 months agoAreas of Strength:
-
America1 started the topic Learning Theory in the forum
Group for Theoretical and Applied Logic (GTAL) 7 years, 3 months agoAreas of Strength:
-
America1 started the topic Lambda Calculus in the forum
Group for Theoretical and Applied Logic (GTAL) 7 years, 3 months agoAreas of Strength:
-
America1 started the topic Logic In Linguistics in the forum
Group for Theoretical and Applied Logic (GTAL) 7 years, 3 months agoAreas of Rhetoric:
-
America1 started the topic Logics of Programs in the forum
Group for Theoretical and Applied Logic (GTAL) 7 years, 3 months agoAreas of Strength:
-
America1 started the topic Homotopy Type Theory in the forum
Group for Theoretical and Applied Logic (GTAL) 7 years, 3 months agoAreas of Strength:
-
America1 started the topic Foundations of Programming Languages in the forum
Group for Theoretical and Applied Logic (GTAL) 7 years, 3 months agoAreas of II.I.JI.STRENGTH.II.I.JI. JI. I:
-
America1 started the topic Foundations of Decision Theory in the forum
Group for Theoretical and Applied Logic (GTAL) 7 years, 3 months agoAreas of Strength:
-
America1 started the topic Formal Verification in the forum
Group for Theoretical and Applied Logic (GTAL) 7 years, 3 months agoAreas of Strength:
-
America1 started the topic Constructive Mathematics in the forum
Group for Theoretical and Applied Logic (GTAL) 7 years, 3 months agoAreas of Strength:
-
America1 started the topic Category Theory and Categorical Logic in the forum
Group for Theoretical and Applied Logic (GTAL) 7 years, 3 months agoAreas of Strength:
-
America1 started the topic Automated Theorem Proving in the forum
Group for Theoretical and Applied Logic (GTAL) 7 years, 3 months agoAreas of Strength:
-
America1 created the group
Group for Theoretical and Applied Logic (GTAL) 7 years, 3 months ago
