First order categorial logic: model-theoretical methods in theory of topoi and related categories
Tallennettuna:
| Päätekijät: | , |
|---|---|
| Aineistotyyppi: | Kirja |
| Kieli: | englanti |
| Julkaistu: |
Berlín
Sringer-Verlag
1977
|
| Sarja: | Lecture Notes in Mathematics, 611
|
| Aiheet: | |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
Lisää ensimmäinen kommentti!