Logic, methodology and philosophy of science, VI. Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science, Hannover, 1979

MaRDI QIDQ1166495zbMATH OpenFDO

Authors

Publication date 1982

Published in Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

zbMATH Keywords

ConferenceHannoverLogicMethodologyPhilosophyProceedings

Mathematics Subject Classification ID

Conference proceedings and collections of articles (00Bxx) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cited in

(1)

• Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks

Describes a project that uses

Uses Software

• Automath

This page was built for publication: Logic, methodology and philosophy of science, VI. Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science, Hannover, 1979

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1166495)