An exposition of second- and higher-order logic and type theory. It includes the syntax and semantics of classical second-order logic and a discussion of higher-order logic based on the concept of a type. Also explored are origins and nature of type theor
BELL, JOHN L. (UNIVERSITY OF WESTERN ONTARIO)
Higher-Order Logic and Type Theory
An exposition of second- and higher-order logic and type theory. It includes the syntax and semantics of classical second-order logic and a discussion of higher-order logic based on the concept of a type. Also explored are origins and nature of type theor
Zaloga po trgovinah
Rezultati:
Podrobnosti o izdelku
Poglej vseISBN
9781108986908Mladinska knjiga ID
9781108986908Leto izida
2022Datum izida
31.03.2022Število strani
75Status dobavljivosti
7-10 delovnih dniZbirka
Elements in Philosophy and LogicZaložnik
Cambridge University PressAvtor
Bell, John L. (University of Western Ontario)Dimenzije
152 x 228 x 8BIC
HP,HPL,PBCHOpis
An exposition of second- and higher-order logic and type theory. It includes the syntax and semantics of classical second-order logic and a discussion of higher-order logic based on the concept of a type. Also explored are origins and nature of type theory, its relationship to set theory, and descriptions of contemporary forms of type theory.Pogosto kupljeno skupaj
Mehka vezava
Ostali so si ogledali tudi ...
Vezava: Integralna
Na zalogi v 47 poslovalnicah takoj ali preko spletnega naročila
Vezava: Trda
Na zalogi v 47 poslovalnicah takoj ali preko spletnega naročila
Vezava: Trda
Na zalogi v 47 poslovalnicah takoj ali preko spletnega naročila
Vezava: Trda
Na zalogi v 46 poslovalnicah takoj ali preko spletnega naročila
Vezava: Mehka
Na zalogi v 15 poslovalnicah takoj ali preko spletnega naročila
Vezava: Mehka
Na zalogi v 45 poslovalnicah takoj ali preko spletnega naročila
Vezava: Trda
Na zalogi v 43 poslovalnicah takoj ali preko spletnega naročila
Vezava: Trda
Na zalogi v 48 poslovalnicah takoj ali preko spletnega naročila
Več kot pol milijona knjig
Največja ponudba slovenskih in tujih knjig na enem mestu.
Enostaven nakup
Do izbranega le z nekaj kliki na spletu ali v eni od več kot 50 knjigarn.
Strokoven nasvet
Pred nakupom nas pokličite za nasvet ali se oglasite v knjigarni.
Vse za šolo
Nagrajena izobraževalna gradiva in kakovostne potrebščine.
Celovita ponudba za dom in pisarno
Vrhunski izdelki priznanih blagovnih znamk.
Brezplačna dostava
Brezplačna dostava za vsa naročila nad 59 € (za šolske pakete nad 140 €)
- Ko izberete elemente, se celotna stran osveži.
- Odpre se v novem oknu.