Valentin Shehtman

1 book

Quantification in Nonclassical Logic, Volume 1 by Dimitrij Skvortsov, Valentin Shehtman, Dov M. Gabbay

Quantification in Nonclassical Logic, Volume 1

Studies in Logic and the Foundations of Mathematics

Dimitrij Skvortsov, Valentin Shehtman, Dov M. Gabbay

615 pages • missing pub info (editions)

nonfiction computer science mathematics informative reflective medium-paced