Categorical logic and type theory

Categorical logic and type theory

Saved in:
Bibliographic Details
Main Author: Jacobs, Bart
Format: Tandon
Language:Asing
Published: Elsevier 1999
Subjects:
MATHEMATICAL LOGIC
Tags: Add Tag
No Tags, Be the first to tag this record!
PINJAM
id oai:lib.uajy.ac.id:0000046245
record_format oai_dc
spelling oai:lib.uajy.ac.id:00000462452010-08-16 00:00:00.000Categorical logic and type theoryJacobs, BartMATHEMATICAL LOGICElsevier1999Tandonxviii, 760 p511.3 Jac cISBN:0-444-50170-3Asinghttps://siquest.uajy.ac.id/description/0000046245
institution Universitas Atma Jaya Yogyakarta
collection Perpustakaan Yogyakarta
language Asing
topic MATHEMATICAL LOGIC
spellingShingle MATHEMATICAL LOGIC
Jacobs, Bart
Categorical logic and type theory
description
format Tandon
author Jacobs, Bart
author_facet Jacobs, Bart
author_sort Jacobs, Bart
title Categorical logic and type theory
title_short Categorical logic and type theory
title_full Categorical logic and type theory
title_fullStr Categorical logic and type theory
title_full_unstemmed Categorical logic and type theory
title_sort categorical logic and type theory
physical xviii, 760 p
publisher Elsevier
publishDate 1999
callnumber-raw 511.3 Jac c
callnumber-search 511.3 Jac c
isbn ISBN:0-444-50170-3
_version_ 1740829050891403264

Similar Items