Linear Logic in Computer Science
tarafından
 
Ehrhard, Thomas.

Başlık
: 
Linear Logic in Computer Science

Yazar
: 
Ehrhard, Thomas.

ISBN
: 
9780511550850
 
9780521608572

Yayın Bilgileri
: 
Cambridge : Cambridge University Press, 2004

Fiziksel Tanımlama
: 
1 online resource (392 p.) : digital, PDF file(s).

Seri
: 
London Mathematical Society Lecture Note Series no. 316

Seri Başlığı
: 
London Mathematical Society Lecture Note Series no. 316

Genel Not
: 
Title from publishers bibliographic system (viewed on 06 Sep 2013).

Konu Terimleri
: 
Proof theory.
 
Logic, Symbolic and mathematical.
 
Computer science -- Mathematics.

Yazar Ek Girişi
: 
Ehrhard, Thomas.
 
Girard, Jean-Yves.
 
Ruet, Paul.
 
Scott, Philip.

Elektronik Erişim
: 
Access by subscription


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap237736-1001ONLINEElektronik Kütüphane