Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

scientific article; zbMATH DE number 1416393

From MaRDI portal
Publication:4943492
Jump to:navigation, search

zbMATH Open0940.03013MaRDI QIDQ4943492

Tadeusz Prucnal

Publication date: 24 July 2000



Title of this publication is not available (Why is that?)


zbMATH Keywords

predicate logicfirst-order languagerelational system


Mathematics Subject Classification ID

Relational systems, laws of composition (08A02) Subsystems of classical logic (including intuitionistic logic) (03B20) Basic properties of first-order languages and structures (03C07)



Related Items (5)

Title not available (Why is that?) ⋮ Finite concrete logics: their structure and measures on them ⋮ Title not available (Why is that?) ⋮ Использование нефинитных методов в исследовании взаимосвязи форм логического исчисления на основе оценки ⋮ Title not available (Why is that?)






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 Q4943492)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4943492&oldid=19360430"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 8 February 2024, at 08:54.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki