Mathematics , Logic
Mathematics , LogicAdmissible sets and structures: An approach to definability theory
Free Download
Mathematics , LogicAdvanced Instrumentation, Data Interpretation, and Control of Biotechnological Processes
Free Download
Mathematics , LogicAdvances in verification of time petri nets and timed automata: a temporal logic approach
Free Download
Mathematics , LogicAll About Maude – A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic
Free Download
