Tämä johdanto rakenteellisen todistusteorian perusajatuksiin sisältää perusteellisen keskustelun ja vertailun ensimmäisen asteen logiikan erilaisista virallistamistyypeistä. Esimerkkejä annetaan useista sovellusalueista, nimittäin: puhtaan ensimmäisen kertaluvun logiikan metamatematiikka (sekä intuitionistinen että klassinen); logiikan ohjelmoinnin teoria; luokan teoria; modaalilogiikka; lineaarinen logiikka; Ensimmäisen kertaluvun aritmeettinen ja toisen asteen logiikka. Kussakin tapauksessa tavoitteena on havainnollistaa menetelmiä suhteellisen yksinkertaisissa tilanteissa ja soveltaa niitä sitten muualla paljon monimutkaisemmissa ympäristöissä. Tekstissä on lukuisia harjoituksia. Yleensä ainoa edellytys on ensimmäisen asteen logiikan vakiokurssi, mikä tekee kirjasta ihanteellisen jatko-opiskelijoille ja aloitteleville tutkijoille matemaattisessa logiikassa, teoreettisessa tietojenkäsittelytieteessä ja tekoälyssä. Uutta painosta varten monet osiot on kirjoitettu uudelleen selkeyden parantamiseksi, uusia osioita viiltojen poistamisesta on lisätty ja ratkaisuja valittuihin harjoituksiin. Kieli: englanti