1. |
Measurability and the baire property at higher levels |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 5,
1990,
Page 377-380
Adam Krawczyk,
Marian Srebrny,
Preview
|
PDF (240KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360502
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
2. |
Extending ω‐consistent sets to maximally consistent, ω‐complete sets |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 5,
1990,
Page 381-383
George Weaver,
Michael Thau,
Hugues Leblanc,
Preview
|
PDF (167KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360503
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
3. |
Permutations and stratified formulae a preservation theorem |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 5,
1990,
Page 385-388
Thomas Forster,
Preview
|
PDF (219KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360504
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
4. |
Proof theory and computer programming |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 5,
1990,
Page 389-414
Ruy J. G. B. de Queiroz,
Thomas S. E. Maibaum,
Preview
|
PDF (1261KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360505
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
5. |
The hilbert type axiomatization of some three‐valued propositional logic |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 5,
1990,
Page 415-421
Andrzej Zbrzezny,
Preview
|
PDF (339KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360506
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
6. |
Minimal systems |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 5,
1990,
Page 423-430
Teodor Stępień,
Preview
|
PDF (372KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360507
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
7. |
Boolean powers over incomplete boolean algebras |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 5,
1990,
Page 431-440
Wojcech Sachwanowicz,
Preview
|
PDF (610KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360508
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
8. |
More on induction in the language with a satisfaction class |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 5,
1990,
Page 441-454
Henryk Kotlarski,
Zygmunt Ratajczyk,
Preview
|
PDF (728KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360509
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
9. |
Formalizing falsification: Three delete operations |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 5,
1990,
Page 455-470
Rüdiger Schätz,
Preview
|
PDF (841KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360510
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|
10. |
Some connections between boolean valued analysis and topological reduction theory for C*‐algebras |
|
Mathematical Logic Quarterly,
Volume 36,
Issue 5,
1990,
Page 471-479
Hirokazu Nishimura,
Preview
|
PDF (513KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19900360511
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1990
数据来源: WILEY
|