Characterization of.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 4/5, p. 273, doi. 10.1002/malq.201300051
- By:
- Publication type:
- Article
Works matching IS 09425616 AND DT 2014 AND VI 60 AND IP 4/5
Results: 14
1
2
Forcing for hat inductive definitions in arithmetic.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 4/5, p. 314, doi. 10.1002/malq.201300044
- By:
- Publication type:
- Article
3
Bounded dagger principles.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 4/5, p. 266, doi. 10.1002/malq.201300019
- By:
- Publication type:
- Article
4
Contents: (Math. Log. Quart. 4-5/2014).
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 4/5, p. 243, doi. 10.1002/malq.201410003
- Publication type:
- Article
5
Defining a randomness notion via another.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 4/5, p. 280, doi. 10.1002/malq.201300014
- By:
- Publication type:
- Article
6
On linear Brouwerian logics.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 4/5, p. 304, doi. 10.1002/malq.201200075
- By:
- Publication type:
- Article
7
Reverse mathematics and Isbell's zig-zag theorem.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 4/5, p. 348, doi. 10.1002/malq.201300071
- By:
- Publication type:
- Article
8
Issue Information.
- Published in:
- 2014
- Publication type:
- Other
9
Generic trivializations of geometric theories.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 4/5, p. 289, doi. 10.1002/malq.201300030
- By:
- Publication type:
- Article
10
From winning strategy to Nash equilibrium.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 4/5, p. 354, doi. 10.1002/malq.201300034
- By:
- Publication type:
- Article
11
Strong negation in intuitionistic style sequent systems for residuated lattices.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 4/5, p. 319, doi. 10.1002/malq.201300016
- By:
- Publication type:
- Article
12
Two-cardinal diamond star.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 4/5, p. 246, doi. 10.1002/malq.201200008
- By:
- Publication type:
- Article
13
Topologies for intermediate logics.
- Published in:
- Mathematical Logic Quarterly, 2014, v. 60, n. 4/5, p. 335, doi. 10.1002/malq.201200059
- By:
- Publication type:
- Article
14
Cover Picture.
- Published in:
- 2014
- Publication type:
- Other