Logic and Proof

Publisher: Ekonomski fakultet Univerziteta u Beogradu | Language: Srpski | Year: 2011
Original title: / | Num. of pages: 154 | Dimensions: 24 cm | Cover: /

Knjiga pokriva fundamentalne aspekte klasične i intuicionističke logike sa stanovišta teorije dokaza. Osnovna ideja je da se elaboriraju elementi sintaksnih i semantičkih osobina klasičnog i intuicionističkog pristupa matematici, razvijanjem paralelizma između ova dva pristupa od početka do kraja samog teksta. Delovi knjige su takođe posvećeni nekim neklasičnim logičkim sistemima, među kojima su superintuicionističke iskazne logike, modalne logike, rasplinute logike i logike

Price: 682 ден

Out of stock

Notify me when the product will be in stock

Compare
Sold By MC MOST New

Report an abuse for product Logic and Proof

Category:
SKU: 978-86-403-1096-3

Reviews

There are no reviews yet.

Be the first to review “Logic and Proof”

Your email address will not be published. Required fields are marked *

Questions and Answers

You are not logged in