El desarrollo de la teoría de la cuantificación /
Edición de conferencias sobre la teoría de la cuantificación que es una familia de sistemas formales adecuados para la lógica clásica o para otras lógicas. Contenido: 1) El método axiomático; 2) Jacques Herbrand; 3) Gentzen; 4) Deducción natural.
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | 図書 |
| 言語: | スペイン語 |
| 出版事項: |
México :
UNAM, Instituto de Investigaciones Filosóficas,
1976, c1975
|
| シリーズ: | (Cuaderno del Instituto de Investigaciones Filosóficas ;
32) |
| 主題: | |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|