Keunikan dan pemecahan pada teori kesamaan

Abstract

ABSTRAKSI Dalam tugas akhir ini akan diperkenalkan sebuah teori, yaitu teori kesamaan yang vocabularynya adalah siinbol predikat biner = dan himpunan dari simbol-simbol konstanta, fungsi dan predikat. Teori ini didefinisikan dengan aksioma-aksiomanya. Selain itu teori ini juga terdiri dari proposisi-proposisi yang This document is Undip Institutional Repositdry Collection. The author(s) or copyright owner(s) agree that.UNDIP-IR may, without changing the content, translate the submission to any medium or format for the purpose of preservation. The author(s) or copyright owner(s) also agree that UNDIP-IR may keep more than one copy of this submission for purpose of security, back-up and preservation: http://eprinsis.undip.ac.id )