| 1. |
Automorphisms of the Lattice of Recursively Enumerable Vector Spaces |
| |
Mathematical Logic Quarterly,
Volume 25,
Issue 25‐29,
1979,
Page 385-401
Iraj Kalantari,
Preview
|
PDF (909KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790252502
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|
| 2. |
Truth in All of Certain Well‐Founded Countable Models Arising in Set Theory II |
| |
Mathematical Logic Quarterly,
Volume 25,
Issue 25‐29,
1979,
Page 403-405
John W. Rosenthal,
Preview
|
PDF (185KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790252503
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|
| 3. |
A New Proof that π 11<σ 11 |
| |
Mathematical Logic Quarterly,
Volume 25,
Issue 25‐29,
1979,
Page 407-408
Richard Gostanian,
Karel Hrbacek,
Preview
|
PDF (145KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790252504
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|
| 4. |
Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic |
| |
Mathematical Logic Quarterly,
Volume 25,
Issue 25‐29,
1979,
Page 409-410
Robert E. Kirk,
Preview
|
PDF (131KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790252505
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|
| 5. |
Equivalence of some Hierarchies of Primitive Recursive Functions |
| |
Mathematical Logic Quarterly,
Volume 25,
Issue 25‐29,
1979,
Page 411-418
Keith Harrow,
Preview
|
PDF (567KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790252506
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|
| 6. |
Characterizing Second Order Logic with First Order Quantifiers |
| |
Mathematical Logic Quarterly,
Volume 25,
Issue 25‐29,
1979,
Page 419-422
David Harel,
Preview
|
PDF (256KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790252507
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|
| 7. |
Extensions Respectueuses de Chaines |
| |
Mathematical Logic Quarterly,
Volume 25,
Issue 25‐29,
1979,
Page 423-444
Jean Guillaume Hagendorf,
Preview
|
PDF (1433KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790252508
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|
| 8. |
The Functional Completeness of Post'sm‐Valued Propositional Calculus |
| |
Mathematical Logic Quarterly,
Volume 25,
Issue 25‐29,
1979,
Page 445-446
Sally Barton,
Preview
|
PDF (92KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790252509
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|
| 9. |
On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi |
| |
Mathematical Logic Quarterly,
Volume 25,
Issue 25‐29,
1979,
Page 447-464
Jan Pavelka,
Preview
|
PDF (901KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790252510
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|
| 10. |
Masthead |
| |
Mathematical Logic Quarterly,
Volume 25,
Issue 25‐29,
1979,
Page -
Preview
|
PDF (28KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790252501
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|
首页
