The following pages link to Grundzüge der Systemenkalküls I (Q5760002):
Displaying 16 items.
- The algebraic treatment of the methodology of elementary deductive systems (Q766673) (← links)
- A portrait of Alfred Tarski (Q809989) (← links)
- Sentence, proposition and identity (Q885508) (← links)
- Four studies in metamathematics (Q1220068) (← links)
- Matrix approach in methodology of sentential calculi (Q1229698) (← links)
- Unifying threads in Alfred Tarski's work (Q1286341) (← links)
- Is the principle of contradiction a consequence of \(x^2=x\)? (Q1653549) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- Circularity or lacunae in Tarski's truth-schemata (Q1959224) (← links)
- On the mutual definability of the notions of entailment, rejection, and inconsistency (Q2422532) (← links)
- The adequacy of the theories of deductive systems with respect to sentential calculi (Q2626587) (← links)
- (Q3264229) (← links)
- Leon Henkin the Reviewer (Q3454809) (← links)
- On Algebraisation of Superintuitionistic Predicate Logics (Q5214741) (← links)
- Independent Recursive Axiomatizability in Arithmetic (Q5579483) (← links)
- Quelques classes de problèmes extrémaux. II (Q5814152) (← links)
