
Verification, Model Checking, and Abstract Interpretation 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings
Bernd Finkbeiner, Thomas Wies
Published 2022
520 pages
Logic is the study of good reasoning. These books teach you how arguments work, how to spot a fallacy and how to think more clearly, from informal critical thinking to formal symbolic logic. Useful for students, and for anyone who wants to argue better. This list shows the ones first published in 2022.

Bernd Finkbeiner, Thomas Wies
Published 2022
520 pages

Jean-Yves Beziau, Ioannis M. Vandoulakis
2022 · 2023 edition
479 pages

Jean-Philippe Bernardy, Patrik Jansson, Cezar Ionescu
Published 2022
268 pages

Jovan Pehcevski
Published 2022
352 pages

Medhanie Gaim
Published 2022
75 pages

Eberhard Guhe
Published 2022
320 pages

Laszlo Csirmaz, Zalán Gyenis
Published 2022
319 pages

Jerzy Gołosz
Published 2022
175 pages

Stephen Houlgate
Published 2022
440 pages

David Fernández Duque, Alessandra Palmigiano, Sophie Pinchinat
Published 2022
754 pages

Danilo R. Diedrichs, Stephen Lovett
Published 2022
538 pages

Muḥammad Iqbal
Published 2022
250 pages

Paul McNamara, Andrew J. I. Jones, Mark A. Brown
2022 · 2023 edition
272 pages

B. Balamurugan, T. Poongodi, M R Manu, Karthikeyan S, Yogesh Sharma
2022 · 2023 edition
186 pages

Giovanni Casini, Livio Robaldo, Leendert van der Torre
Published 2022
570 pages

Sreeja R
Published 2022
150 pages

Jan Bilquees
Published 2022
224 pages

Atul Kumar Razdan, V. Ravichandran
2022 · 2023 edition
504 pages

Timothy O'Leary, Birgit M. Kaiser, Kathrin Thiele
Published 2022
234 pages

Sebastian Walshe Opraem
Published 2022
136 pages

James Conant, Sanjit Chakraborty
Published 2022
370 pages

N. Usha Devi
Published 2022
220 pages

Rudolf Carnap, Richard C. Jeffrey
Published 2022
270 pages

Peter van Emde Boas, Ghica van Emde Boas, Kaibo Xie, Bonan Zhao
Published 2022
432 pages