Mathematical logic

A course in mathematical logic / by J. L. Bell and M. Machoverschema:ProductModel A survey of mathematical logic / Hao Wangschema:ProductModel Aanvullende bibliografie D.H.Th. Vollenhoven / samengest. door K.A. Bril, L.D. Derksen, J.H. Kokschema:ProductModel Aanvullende bibliografie D.H.Th. Vollenhoven / samengest. door K.A. Bril, L.D. Derksen, J.H. Kokschema:ProductModel Advanced logic for applications / Richard E. Grandyschema:ProductModel An axiomatic theory for information retrieval / Theodorus Wilhelmus Charles Huibersschema:ProductModel An introduction to mathematical logic and type theory: to truth through proof / by Peter B. Andrewsschema:ProductModel An outline of mathematical logic : fundamental results and notions explained with all details / by Andrzej Grzegorczyk ; transl. from the Polish by Olgierd Wojtasiewicz and Wacław Zawadowskischema:ProductModel Annals of pure and applied logicschema:ProductModel Augustus De Morgan and the logic of relations / Daniel D. Merrilschema:ProductModel Belief and probability / [by] John M. Vickersschema:ProductModel Belief revision meets philosophy of science / Erik J. Olsson, Sebastian Enqvist, edschema:ProductModel Belief revision meets philosophy of science / Erik J. Olsson, Sebastian Enqvist, edsschema:ProductModel Bibliografie D. H. Th. Vollenhoven / samengesteld door A. M. Petersen [en] L. Derksenschema:ProductModel Bibliografie D. H. Th. Vollenhoven / samengesteld door A. M. Petersen [en] L. Derksenschema:ProductModel Categorical logic and type theory / Bart Jacobsschema:ProductModel Coherence and complexity in fragments of dependence logic / Jarmo Antero Kontinenschema:ProductModel Commonsense reasoning / Erik T. Muellerschema:ProductModel Computability, probability and logic / Rutger Kuyperschema:ProductModel Computable structures and the hyperarithmetical hierarchy / C.J. Ash, J. Knightschema:ProductModel ... show all 105

Combinatorial logicskos:Concept Definieerbaarheidskos:Concept Reichenbach logica skos:Concept