Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici on the occasion of his 60th birthday /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2007]
|
| Series: | Lecture notes in computer science ;
4460. Lecture notes in computer science. Lecture notes in artificial intelligence. Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
MARC
| Tag | First Indicator | Second Indicator | Subfields |
|---|---|---|---|
| LEADER | 00000cam a2200000Ia 4500 | ||
| 001 | in00002374549 | ||
| 005 | 20210810090543.0 | ||
| 006 | m d | ||
| 007 | cr cn||||||||| | ||
| 008 | 080128s2007 gw a sb 111 0 eng d | ||
| 020 | |a 3540759395 | ||
| 020 | |a 9783540759393 | ||
| 035 | |a (OCoLC)191470792 | ||
| 035 | |a (OCoLC)ocn191470792 | ||
| 037 | |a 978-3-540-75938-6 |b Springer |n http://www.springerlink.com | ||
| 040 | |a GW5XE |c GW5XE |d UtOrBLW | ||
| 049 | |a TEFA | ||
| 050 | 1 | 4 | |a QA9.4 |b .A44 2007eb |
| 072 | 7 | |a QA |2 lcco | |
| 245 | 0 | 0 | |a Algebraic and proof-theoretic aspects of non-classical logics : |b papers in honor of Daniele Mundici on the occasion of his 60th birthday / |c Stefano Aguzzoli [and others] (eds.). |
| 264 | 1 | |a Berlin ; |a New York : |b Springer, |c [2007] | |
| 264 | 4 | |c ©2007 | |
| 300 | |a viii, 308 pages : |b illustrations ; |c 24 cm. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science, |x 0302-9743 ; |v 4460. |a Lecture notes in artificial intelligence. |a FoLLI publications on logic, language and information | |
| 500 | |a Electronic resource. | ||
| 500 | |a Festschrift. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 533 | |a Electronic reproduction. |b New York : |c Springer, |d 2008. |n Mode of access: World Wide Web. |n System requirements: Web browser. |n Title from title screen (viewed on Jan. 24, 2008). |n Access may be restricted to users at subscribing institutions. | ||
| 600 | 1 | 0 | |a Mundici, Daniele, |d 1946- |0 http://id.loc.gov/authorities/names/n93069402 |
| 650 | 0 | |a Nonclassical mathematical logic. |0 http://id.loc.gov/authorities/subjects/sh85092240 | |
| 655 | 7 | |a Electronic books. |2 local | |
| 700 | 1 | |a Aguzzoli, Stefano. |0 http://id.loc.gov/authorities/names/nb2007026627 | |
| 700 | 1 | |a Mundici, Daniele, |d 1946- |0 http://id.loc.gov/authorities/names/n93069402 | |
| 710 | 2 | |a SpringerLink (Online service) |0 http://id.loc.gov/authorities/names/no2005046756 | |
| 776 | 1 | |c Original |z 9783540759386 |z 3540759387 |w (DLC) 2007937644 |w (OCoLC)181090806 | |
| 830 | 0 | |a Lecture notes in computer science ; |v 4460. |0 http://id.loc.gov/authorities/names/n42015162 | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. |0 http://id.loc.gov/authorities/names/n86736436 | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. |p FoLLI publications on logic, language and information. |0 http://id.loc.gov/authorities/names/no2005083727 | |
| 856 | 4 | 0 | |u http://proxy.library.tamu.edu/login?url=https://dx.doi.org/10.1007/978-3-540-75939-3 |z Connect to the full text of this electronic book |t 0 |
| 994 | |a C0 |b TEF | ||
| 999 | |a MARS | ||
| 999 | f | f | |s 2acacabd-c225-39db-a456-d948f0a456cd |i 559b3d96-d8a6-3b8c-a7d9-7ec117655f1b |t 0 |
| 952 | f | f | |a Texas A&M University |b College Station |c Electronic Resources |s www_evans |d Available Online |t 0 |e QA9.4 .A44 2007eb |h Library of Congress classification |
| 998 | f | f | |a QA9.4 .A44 2007eb |t 0 |l Available Online |