|
1. |
Probabilistic Semantics for First‐Order Logic |
|
Mathematical Logic Quarterly,
Volume 25,
Issue 32,
1979,
Page 497-509
Hugues Leblanc,
Preview
|
PDF (924KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790253202
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|
2. |
A Note on the Admissibility of Cut in Relevant Tableau Systems |
|
Mathematical Logic Quarterly,
Volume 25,
Issue 32,
1979,
Page 511-512
Michael A. McRobbie,
Robert K. Meyer,
Preview
|
PDF (156KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790253203
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|
3. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 25,
Issue 32,
1979,
Page -
Preview
|
PDF (28KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19790253201
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1979
数据来源: WILEY
|
|