Logic, construction, computation / Ulrich Berger ... [et al.] (eds.).

Saved in:
Bibliographic Details
:
TeilnehmendeR:
Year of Publication:2012
Language:English
Series:Ontos mathematical logic ; v. 3
Online Access:
Physical Description:540 p. :; ill., port.
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 01260nam a2200349 a 4500
001 5001215585
003 MiAaPQ
005 20200520144314.0
006 m o d |
007 cr cn|||||||||
008 130717s2012 gw ac sb 000 0 eng d
020 |z 9783868381580 
020 |z 9783110324532 
020 |a 9783110324921 (electronic bk.) 
035 |a (MiAaPQ)5001215585 
035 |a (Au-PeEL)EBL1215585 
035 |a (CaPaEBR)ebr10728840 
035 |a (OCoLC)851972131 
040 |a MiAaPQ  |c MiAaPQ  |d MiAaPQ 
050 4 |a BC71  |b .L64 2012 
245 0 0 |a Logic, construction, computation  |h [electronic resource] /  |c Ulrich Berger ... [et al.] (eds.). 
260 |a Heusenstamm [Germany] :  |b ontos,  |c 2012. 
300 |a 540 p. :  |b ill., port. 
440 0 |a Ontos mathematical logic ;  |v v. 3 
504 |a Includes bibliographical references. 
533 |a Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. 
650 0 |a Logic. 
650 0 |a Computational neuroscience. 
655 4 |a Electronic books. 
700 1 |a Berger, Ulrich. 
710 2 |a ProQuest (Firm) 
856 4 0 |u https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=1215585  |z Click to View