根據(jù)我國《合同法》的規(guī)定，合同訂立的程序是合同要約人發(fā)出要約，然后受要約人在規(guī)定的期限內(nèi)作出承諾。承諾在規(guī)定期限內(nèi)到達要約人的，第十四條【要約】要約是與他人訂立合同的意思表示。意思表示應(yīng)當(dāng)符合下列規(guī)定：

（1）具體確定內(nèi)容。

（2）要約人接受要約時，表示要約人受意思表示的約束。

第十六條【要約的效力】要約到達目的地時生效受要約人

如果合同是以數(shù)據(jù)電文的形式訂立的，并且接收方指定了特定的系統(tǒng)來接收數(shù)據(jù)電文，則數(shù)據(jù)電文進入特定系統(tǒng)的時間視為到達時間；如果沒有指定具體的系統(tǒng)，數(shù)據(jù)電文首次進入收件人的任何系統(tǒng)時，應(yīng)視為到達時間。

第25條[合同成立時間]承諾生效時合同成立。

第26條[承諾的有效性]承諾通知到達要約人時生效。承諾不需要通知的，按照交易習(xí)慣或者要約的要求作出承諾時生效。以數(shù)據(jù)電文形式訂立合同的，承諾書的到達時間，依照本法第十六條第二款的規(guī)定。

訂立合同的主要形式是什么？

（一）口頭形式

口頭形式，是指當(dāng)事人僅以口頭語言為含義簽訂合同的形式，而不是用語言來表達協(xié)議的內(nèi)容。口語形式在日常生活中經(jīng)常使用。市場上的現(xiàn)貨交易和商店里的零售通常是口頭形式的

合同是口頭形式的，不需要雙方指定。當(dāng)事人沒有約定，法律不要求具體合同形式的，可以采用口頭形式。但是，如果發(fā)生爭議，雙方必須提供證據(jù)證明合同的存在和合同關(guān)系的內(nèi)容。這并不意味著合同的書面文件不能采取任何形式。人們在商店購物時，有時會要求商店開具發(fā)票或其他購物憑證，但這種書面材料只能被視為合同成立的證據(jù)，而不能作為合同成立的重要內(nèi)容。口頭簽訂合同可以簡化程序、促進交易、提高效益，但其缺點是在發(fā)生合同糾紛時難以獲取證據(jù)和區(qū)分責(zé)任。因此，不能立即結(jié)算的合同和標(biāo)的物數(shù)額較大的合同不應(yīng)采用這種形式。（2）書面形式是指當(dāng)事人以文字形式訂立的合同。本合同及任何記載要約內(nèi)容、承諾、雙方權(quán)利義務(wù)的文件均為本合同書面形式的具體體現(xiàn)。《合同法》第11條規(guī)定，“書面形式是指能夠有形地表達合同內(nèi)容的合同、信函和數(shù)據(jù)電文（包括電報、電傳、傳真、電子數(shù)據(jù)交換和電子郵件）。

書面合同必須包含書面證據(jù)，但并非所有書面證據(jù)都是書面合同的組成部分。成為書面合同的書面證據(jù)必須符合下列條件：有某種書面證據(jù)，當(dāng)事人或其代理人在書面證據(jù)上簽名或蓋章，書面證據(jù)承載著合同的權(quán)利和義務(wù)

（三）推定形式

推定形式是指當(dāng)一方僅以行為向另一方發(fā)出要約，而未以語言和文字表達其意圖時，合同成立，另一方接受要約并做出某種或特定行為作為承諾。例如，當(dāng)一家商店安裝自動售貨機，客戶將指定的錢放入自動售貨機時，銷售合同就成立了。

上述知識是小編對相關(guān)法律問題的回答。根據(jù)我國《合同法》的規(guī)定，合同訂立的程序是合同要約人發(fā)出要約，然后受要約人在規(guī)定的期限內(nèi)作出承諾。承諾在規(guī)定期限內(nèi)到達要約人的，合同成立。如果您需要法律幫助，歡迎您參加有關(guān)luba的法律咨詢。com