European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991
From MaRDI portal
Publication:3138023
Recommendations
- European summer meeting of the association for symbolic logic
- European Summer Meeting of the Association for Symbolic Logic
- European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987
- European Summer Meeting of the Association for Symbolic Logic
- 1999 European Summer Meeting of the Association for Symbolic Logic
- European Summer Meeting of the Association for Symbolic Logic
- European summer meeting of the Association for Symbolic Logic
- European Summer Meeting of the Association for Symbolic Logic, Hull, 1986
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- 2001 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '01
Cites work
- scientific article; zbMATH DE number 4010488 (Why is no real title available?)
- scientific article; zbMATH DE number 3792154 (Why is no real title available?)
- scientific article; zbMATH DE number 227056 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- A NOTATION SYSTEM FOR ORDINAL USING Ψ‐FUNCTIONS ON INACCESSIBLE MAHLO NUMBERS
- A new system of proof-theoretic ordinal functions
- A partial functions version of Church's simple theory of types
- A propositional fragment of Leśniewski's ontology and its formulation by the tableau method
- Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. I
- An opposite and an expanded system
- Assessing Test Data Adequacy through Program Inference
- Banishing the rule of substitution for functional variables
- Domain interpretations of Martin-Löf's partial type theory
- Kripke models and intermediate logics
- Linear logic
- Locally cartesian closed categories and type theory
- On comparison of theories by their contents
- Partial inductive definitions
- Proof theory
- Provability interpretations of modal logic
- TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
- The linear abstract machine
- The word problem
- Theory of rejected propositions. I
- Undecidable theories
Cited in
(6)- scientific article; zbMATH DE number 1014225 (Why is no real title available?)
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- European Summer Meeting of the Association for Symbolic Logic
- European summer meeting of the Association for Symbolic Logic
- 2022 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2022 Reykjavík University Reykjavík, Iceland June 27 – July 1, 2022
- European Summer Meeting of the Association for Symbolic Logic
This page was built for publication: European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3138023)