From this page you can:
| Home |
Class number details
161 Library items with class number 160
Make a suggestion Refine your searchElementary logic / W. V Quine
Title : Elementary logic Material Type: printed text Authors: W. V Quine, Author Publisher: Cambridge, Mass. : Harvard University Press Publication Date: [2001] Pagination: xii, 129 p. Size: 21 cm ISBN (or other code): 978-0-674-24451-1 General note: Includes index Languages : English (eng) Original Language : English (eng) Descriptors: Logic, Symbolic and mathematical Class number: 160 Record link: https://library.seeu.edu.mk/index.php?lvl=notice_display&id=4483 Hold
Place a hold on this item
Copies
Barcode Call number Media type Location Section Status 5702-013970 160 Qui-Ele 2001 General Collection Library "Max van der Stoel" English Available 5702-022632 160 Qui-Ele 2001 General Collection Library "Max van der Stoel" English Available
Title : The language of first-order logic : including the Macintosh program Tarski's word 4.0 Material Type: printed text Authors: Jon Barwise, Author ; John Etchemendy, Author Publisher: Stanford, California : CSLI publ Publication Date: 1993 Series: CSLI Lecture Notes Pagination: xiv, 313 p. Size: 24 cm. ISBN (or other code): 978-0-937073-99-5 General note: Includes index Languages : English (eng) Original Language : English (eng) Descriptors: First-order logic
Tarski's word (Computer program)Class number: 160 Record link: https://library.seeu.edu.mk/index.php?lvl=notice_display&id=9637 Hold
Place a hold on this item
Copies
Barcode Call number Media type Location Section Status 5702-022629 160 Bar-lan 1993 General Collection Library "Max van der Stoel" English Available
Title : Logika Material Type: printed text Authors: Vladimir Filipovič, Author Publisher: Zagreb : Školska knjiga Publication Date: 1941 Pagination: 112, xiv p. Layout: ill., photo Size: 23 cm ISBN (or other code): 978-953-06-0836-8 General note: Includes bibliographical references (p. vii-xiv) Languages : Croatian (cro) Descriptors: Logic Class number: 160 Record link: https://library.seeu.edu.mk/index.php?lvl=notice_display&id=1111 Hold
Place a hold on this item
Copies
Barcode Call number Media type Location Section Status 4702-000366 160 Fil-Log 1941 General Collection Library "Max van der Stoel" International Available
Title : Naming and necessity Material Type: printed text Authors: Saul A Kripke, Author Publisher: Cambridge, Mass. : Harvard University Press Publication Date: 1980 Pagination: 172 p. Size: 21 cm ISBN (or other code): 978-0-674-59845-4 General note: Includes index Languages : English (eng) Original Language : English (eng) Descriptors: Identity - Addreses, essays, lectures
Neccessity (Philosophy) - Addreses, essays, lectures
References (philosophy) - Addreses, essays, lecturesClass number: 160 Record link: https://library.seeu.edu.mk/index.php?lvl=notice_display&id=7420 Hold
Place a hold on this item
Copies
Barcode Call number Media type Location Section Status 5702-013963 160 Kri-Nam 1980 General Collection Library "Max van der Stoel" English Available 5702-022631 160 Kri-Nam 1980 General Collection Library "Max van der Stoel" English Available
Title : Nocione të logjikës : metoda në shkenca humane Other title : Notions de logique : methodes en sciences humaines Material Type: printed text Authors: Philippe Thiry, Author ; Elvis Hoxha, Translator Publisher: Tiranë : UET Press Other publisher: Bruxelles : De Boeck Université Series: Shkenca sociale No. 6 Pagination: 142 p. Layout: ill. Size: 24 cm ISBN (or other code): 978-99956-390-7-5 Price: 700 lekë Languages : Albanian (sqi) Original Language : French (fre) Descriptors: Logic Class number: 160 Abstract: Nuk është e nevojshme, madje, ka shumë mundësi të jetë e padobishme të nisësh studimin e logjikës me trajtesa teorike mbi fushën, mjetet, kufizimet dhe metodat e saj. Çështjet e logjikës janë komplekse dhe mund të perceptohen realisht vetëm gjatë praktikimit të saj. Mund të sugjeronim edhe se logjika është "endje"e shpirtit, afirmimi i përparësisë së arsyes, arti i zbulimit të budallallëqeve (aq të shumta!) në mediat e çdo lloji, kthimi në burimet e shkencës informatike etj. Logjika klasike përmban, përgjithësisht, dy pjesë: logjika e pohimeve dhe logjika e predikateve. E para merr si njësi bazë pohimet që shprehin një ngjarje ose një fakt: "Shtëpia është e kuqe", "Ani ngjit malin". Njësitë bazë ose pohimet atomike mund të kombinohen për të formuar pohime molekulare. Logjika e pohimeve studion të gjitha shoqërizimet e mundshme: është një logjikë ndërpohimësore (inter). E dyta ka për njësi bazë termat brenda pohimit. Ajo shpreh atëherë një marrëdhënie mes objektesh ose bashkësish objektesh: kjo është logjika e predikateve ose logjika brendapohimësore (intra). Contents note: Logjika e pohimeve; Metoda e tabelave të vërtetësisë; Silogjizmat jo-kategorike; Disa ekuivalenca bazike; Metoda e grafeve; Metoda aksiomatike; Algjebra binare e Boole-it (1815-1864); Logjika e lashtë e predikateve; Teoria e konceptit ose e termit; Teoria e gjykimit ose e pohimit; Teoria e arsyetimit të drejtpërdrejtë: Ekuipolenca (njëvlefshmëria); Teoria e arsyetimit të drejtpërdrejtë : Silogjizmi; Logjika moderne e predikateve; Logjika e predikateve monadike; Logjika e predikateve diadike (e relacioneve); Logjikat jo klasike; Logjika modale; Logjikat e shumëvlershme, të dobëta, specifike; Record link: https://library.seeu.edu.mk/index.php?lvl=notice_display&id=14177 Hold
Place a hold on this item
Copies
Barcode Call number Media type Location Section Status 2702-001997 160 Thi-NocA General Collection Library "Max van der Stoel" Albanian Available 2702-001998 160 Thi-NocA General Collection Library "Max van der Stoel" Albanian Available 2702-001999 160 Thi-NocA General Collection Library "Max van der Stoel" Albanian Available
Permalink
Permalink
Permalink
