A carregar...
Tableau systems for first order number theory and certain higher order theories
| Autor principal: | |
|---|---|
| Formato: | Printed Book |
| Publicado em: |
Springer-Verlag, Berlin
1975
|
| Colecção: | Lecture Notes in Mathematics, No.0447
|
| Assuntos: |
| LEADER | 00556nam a2200169 4500 | ||
|---|---|---|---|
| 082 | |a R LNM.0447 | ||
| 100 | |a Toledo, Sue | ||
| 245 | |a Tableau systems for first order number theory and certain higher order theories |c Sue Toledo | ||
| 250 | |||
| 260 | |a Springer-Verlag, Berlin |c 1975 | ||
| 300 | |||
| 490 | |a Lecture Notes in Mathematics, No.0447 | ||
| 650 | |a Lecture Notes in Mathematics | ||
| 700 | |||
| 942 | |c BK | ||
| 999 | |c 201421 |d 201421 | ||
| 952 | |0 0 |1 0 |4 0 |6 R_LNM_0447_000000000000000 |7 0 |9 214770 |a MAT |b MAT |l 0 |o R LNM.0447 |p MAT2483 |r 2019-11-01 |w 2019-11-01 |y BK | ||