Yuri, Logic, and Computer Science

DOI10.1007/978-3-642-15025-8_1zbMath1287.01016OpenAlexW1535984783MaRDI QIDQ3585995

Nachum Dershowitz, Andreas Blass, Wolfgang Reisig

Publication date: 3 September 2010

Published in: Fields of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15025-8_1

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) History of computer science (68-03)

This page was built for publication: Yuri, Logic, and Computer Science