scientific article; zbMATH DE number 69315
From MaRDI portal
Publication:4014783
zbMATH Open0758.03002MaRDI QIDQ4014783FDOQ4014783
Authors: Irving H. Anellis 
Publication date: 26 October 1992
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 4012564
- A nucleus of a theorem-prover described inAlgol-68
- Introduction to formal logics. (Introduzione alla logica formale)
- scientific article; zbMATH DE number 193652
- scientific article; zbMATH DE number 837700
- Proof theory. 2nd ed
- Jean van Heijenoort's contributions to proof theory and its history
- scientific article; zbMATH DE number 1169390
- scientific article; zbMATH DE number 1552073
- Pruning the search space and extracting more models in tableaux
History of mathematics in the 20th century (01A60) Proof theory in general (including proof-theoretic semantics) (03F03) History of mathematical logic and foundations (03-03)
Cited In (5)
- N. G. de Bruijn's contribution to the formalization of mathematics
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic
- Guest editor's introduction: JvH100
- Jean van Heijenoort's conception of modern logic, in historical perspective
- Jean van Heijenoort's contributions to proof theory and its history
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4014783)
