4 ms·
I really like Peter Smith's "Gödel Without Tears" lecture notes: http://www.logicmatters.net/resources/pdfs/gwt/GWT2f.pdf http://www.logicmatters.net/resources/
by cousin_it 10y ago
I really like Peter Smith's "Gödel Without Tears" lecture notes: http://www.logicmatters.net/resources/pdfs/gwt/GWT2f.pdf http://www.logicmatters.net/resources/pdfs/gwt/GWT2f.pdf