$SPAD/input schaum11.input Timothy Daly June 15, 2008 1

Source URL: axiom-developer.org

Axiom DirectLink for Cubase User Guide ® Legal Notices This guide is copyrighted ©2010 by Avid Technology, Inc., with all rights

Source URL: c3.zzounds.com

• Axiom
• GUI widget
• Software
• Steinberg Cubase
• Button

Axiom DirectLink for Logic Pro User Guide

Source URL: c3.zzounds.com

• Computing
• Electronics
• Button
• GUI widget
• Computer keyboard

Logic Journal of IGPL Advance Access published August 9, 2007 Logic for Mathematical Writing EDMUND HARRISS, Department of Mathematics, Imperial College London, London SW7 2AZ. E-mail: .

Source URL: www.mathematicians.org.uk

• Mathematical logic
• Philosophy of mathematics
• Abstraction
• Axiology
• Mathematical proof
• Axiom
• Combinatory logic
• Natural deduction
• David Hilbert
• Mathematics
• Logic
• Knowledge

Science of Computer Programming ELSEVIER

Source URL: pubs.doc.ic.ac.uk

• Logic in computer science
• Algebraic structures
• Combinatory logic
• Function
• Axiom
• Cartesian closed category
• Group
• Sheaf
• Mathematics
• Lambda calculus
• Mathematical logic

Towards Complete Reasoning about Axiomatic Specifications Swen Jacobs and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland

Source URL: lara.epfl.ch

• Model theory
• Functions and mappings
• Function
• Structure
• Axiom
• Interpretation
• First-order logic
• Mathematics
• Mathematical logic
• Logic

Theorem Proving in Lean Jeremy Avigad Leonardo de Moura Soonho Kong Version df39393, updated at:37:

Source URL: leanprover.github.io

• Formal systems
• Automated theorem proving
• Logical syntax
• Propositional calculus
• Mathematical proof
• Deduction theorem
• Theorem
• Proof assistant
• Axiom
• Logic
• Mathematics
• Mathematical logic

SPRING SUMMER 2015 What’s new INTEGRATED CEILING SYSTEMS

Source URL: www.armstrong.com

• Suspension
• Lumber
• Technology
• Mechanical engineering
• Axiom
• Ceiling
• Torsion spring

Axiom DirectLink for Reason and Record User Guide ® Legal Notices This guide is copyrighted ©2010 by Avid Technology, Inc., with all rights

Source URL: c3.zzounds.com

• Axiom
• Reason
• MIDI
• Mouse
• Record
• M-Audio
• Software
• Computing
• Computer hardware

Type Theory and Univalent Foundation Thierry Coquand (j.w.w. M. Bezem and S. Huber) Royal Society meeting, November 26, 2013 Type Theory and Univalent Foundation

Source URL: www.cse.chalmers.se

• Type theory
• Dependently typed programming
• Logic in computer science
• Proof theory
• Mathematical constructivism
• Function
• Intuitionistic type theory
• Axiom of choice
• Constructible universe
• Mathematical logic
• Mathematics
• Logic