DIKUL - logo
FF, Osrednja humanistična knjižnica, Ljubljana - vsi oddelki (FFLJ)
OHK FF oddelčne knjižnice bodo imele v času poletnih mesecev nekoliko prilagojene urnike. Poletne urnike si lahko ogledate:
Poletni urniki
  • Meaning and argument : an introduction to logic through language
    LePore, Ernest, 1950-
    This work shifts introductory logic from the traditional emphasis on proofs to the symbolization of arguments. Another feature of this book is that it shows how the need for expressive power and for ... drawing distinctions forces formal language development. At each stage of system elaboration and development, the book answers metalogical questions. Why is a particular formalism needed? What must go into such a formalism and why? These questions should engage students in a collective inquiry which allows them to see logical studies as a human enterprise aimed at achieving well understood purposes - clarity and good reasoning. This book answers its main questions by proceeding from a simple formal language to increasingly complex formal languages and by explaining the reason for each complication. The move from propositional to property predicate logic, from property predicate logic to relational predicate logic, and finally from relational predicate logic to relational predicate logic with identity is made clear to the student at each step.
    Vrsta gradiva - knjiga
    Založništvo in izdelava - Oxford ; Malden : Blackwell, cop. 2000
    Jezik - angleški
    ISBN - 0-631-20582-9
    COBISS.SI-ID - 181336323

Rezervirajte gradivo na želenem mestu prevzema.

Mesto prevzema Status gradiva Rezervacija
OHK-Filozofija
prosto - na dom, čas izposoje: 14 dni
Aškerčeva paketnik
Paketnik
prosto - na dom, čas izposoje: 14 dni
Signatura – lokacija, inventarna št. ... Status izvoda
OHK - Filozofija
V LEPORE E. Meaning OHK - Filozofija
V LEPORE E. Meaning 		prosto - na dom, čas izposoje: 14 dni
loading ...
loading ...
loading ...

Vnos na polico