Pełny tekst tego artykułu nie jest dostępny w BazHum.
TYTUŁ ARTYKUŁU
Quantification, types, preuves et logique combinatoire
Zacytuj
CZYSTY TEKST
Jean-Pierre Desclés, Quantification, types, preuves et logique combinatoire , Studia Kognitywne : semantyka kategorii aspektu i czasu, 1999 / Tom 3, s. 13 - 82
BIBTEX
Jean-Pierre Desclés. Quantification, types, preuves et logique combinatoire. Studia Kognitywne : semantyka kategorii aspektu i czasu, 3:13–82, 1999.
Pokaż kod BibTeX
@article{bazhum246403,
author = {Desclés, Jean-Pierre},
title = {{Quantification, types, preuves et logique combinatoire}},
journal = {Studia Kognitywne : semantyka kategorii aspektu i czasu},
year = {1999},
volume = {3},
pages = {13--82},
issn = {1641-9758},
url = {https://bazhum.muzhp.pl/articles/246403}
}