Litteraturanvisning

A. Church, Introduction to Mathematical Logic ( utvidgad upplaga 1956);
S.C. Kleene, Introduction to Metamathematics ( 1952).
Vill du få tillgång till hela artikeln?
Testa NE.se gratis eller Logga in

Information om artikeln

Källangivelse
Nationalencyklopedin, Litteraturanvisning. http://www.ne.se/uppslagsverk/encyklopedi/lång/formellt-system/litteraturanvisning