Natural Deduction, Hybrid Systems and Modal Logics
This book provides a detailed exposition of one of the most practical and popular methods of provingProducator: SPRINGER VERLAG GMBH
Contact
Categorie: Diverse
Subcategorie: Altele
Adresa web: karte.ro