An Axiomatisation of a Pure Calculus of Names

Artykuł naukowy w czasopiśmie recenzowany

Czasopismo: Studia Logica (ISSN: 0039-3215)
Rok wydania: 2012
Tom: 100
Numer czasopisma: 5
Strony od-do: 921-946
Dostęp WWW: http://link.springer.com/article/10.1007%2Fs11225-012-9441-8



Cytowanie w formacie Bibtex:
@article{1,
author = "Piotr Kulicki",
title = "An Axiomatisation of a Pure Calculus of Names",
journal = "Studia Logica",
year = "2012",
number = "5",
pages = "921-946"
}

Cytowanie w formacie APA:
Kulicki, P. (2012). An Axiomatisation of a Pure Calculus of Names. Studia Logica, 5, 921-946.