Einführung in die mathematische Logik

DOI10.1007/978-3-662-58029-5zbMath1400.03001OpenAlexW2022364606MaRDI QIDQ4684481

Jörg Flum, Wolfgang Thomas, Heinz-Dieter Ebbinghaus

Publication date: 1 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-662-58029-5

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Logic programming (68N17)

Related Items (1)

Some aspects of the database resilience

This page was built for publication: Einführung in die mathematische Logik