Volume 36; Issue 1

Mathematical Logic Quarterly

Volume 36; Issue 1
1

Masthead

Year:
1990
File:
PDF, 31 KB
1990
2

Model completeness and direct power

Year:
1990
Language:
english
File:
PDF, 397 KB
english, 1990
4

A note on the existence property for intuitionistic logic with function symbols

Year:
1990
Language:
english
File:
PDF, 246 KB
english, 1990
5

On the generator problem

Year:
1990
Language:
english
File:
PDF, 255 KB
english, 1990
6

Quantified propositional calculi and fragments of bounded arithmetic

Year:
1990
Language:
english
File:
PDF, 915 KB
english, 1990
7

Much shorter proofs: A bimodal investigation

Year:
1990
Language:
english
File:
PDF, 1.14 MB
english, 1990
8

Fuzzy natural deduction

Year:
1990
Language:
english
File:
PDF, 615 KB
english, 1990
9

Quantifiers determined by partial orderings

Year:
1990
Language:
english
File:
PDF, 494 KB
english, 1990
10

A theorem on cocongruence of rings

Year:
1990
Language:
english
File:
PDF, 99 KB
english, 1990