E-Book, Englisch, Band 4, 170 Seiten
Reihe: Synthese Library
Beth Formal Methods
Erscheinungsjahr 2012
ISBN: 978-94-010-3269-8
Verlag: Springer Netherlands
Format: PDF
Kopierschutz: 1 - PDF Watermark
An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
E-Book, Englisch, Band 4, 170 Seiten
Reihe: Synthese Library
ISBN: 978-94-010-3269-8
Verlag: Springer Netherlands
Format: PDF
Kopierschutz: 1 - PDF Watermark




