1

The double negation of the intermediate value theorem

Year:
2010
Language:
english
File:
PDF, 525 KB
english, 2010
3

Avicenna on the Primary Propositions

Year:
2018
Language:
english
File:
PDF, 518 KB
english, 2018
5

Completeness of intermediate logics with doubly negated axioms

Year:
2014
Language:
english
File:
PDF, 163 KB
english, 2014
6

Basic Propositional Calculus I

Year:
1998
Language:
english
File:
PDF, 1.59 MB
english, 1998
11

Construction safety risk drivers: A BIM approach

Year:
2016
Language:
english
File:
PDF, 1.03 MB
english, 2016
29

Reduction of provability logics to Σ 1 -provability logics

Year:
2015
Language:
english
File:
PDF, 83 KB
english, 2015
40

Every Rooted Narrow Tree Kripke Model of HA is Locally PA

Year:
2002
Language:
english
File:
PDF, 128 KB
english, 2002