國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

David Makinson on classical methods ...

~

SpringerLink (Online service)

David Makinson on classical methods for non-classical problems

Record Type:	Language materials, printed : Monograph/item
Title/Author:	David Makinson on classical methods for non-classical problems/ edited by Sven Ove Hansson.
other author:	Hansson, Sven Ove.
Published:	Dordrecht :Springer Netherlands : : 2014.,
Description:	xii, 433 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Logic. -
Online resource:	http://dx.doi.org/10.1007/978-94-007-7759-0
ISBN:	9789400777590 (electronic bk.)

David Makinson on classical methods for non-classical problems
David Makinson on classical methods for non-classical problems[electronic resource] /edited by Sven Ove Hansson. - Dordrecht :Springer Netherlands :2014. - xii, 433 p. :ill., digital ;24 cm. - Outstanding contributions to logic,v.32211-2758 ;. - Outstanding contributions to logic ;3..

ISBN: 9789400777590 (electronic bk.)Subjects--Personal Names:

985239
Makinson, David,
1941-Subjects--Topical Terms:

558909
Logic.

LC Class. No.: BC6 / .D38 2014

Dewey Class. No.: 160

David Makinson on classical methods for non-classical problems
LDR:00890nam a2200265 a 4500 001 805776
003 DE-He213
005 20140703144615.0
006 m d
007 cr nn 008maaau
008 150612s2014 ne s 0 eng d
020 $a 9789400777590 (electronic bk.)
020 $a 9789400777583 (paper)
035 $a 978-94-007-7759-0
040 $a GP $c GP
041 0 $a eng
050 4 $a BC6 $b .D38 2014
082 0 4 $a 160 $2 23
090 $a BC6 $b .D249 2014
245 0 0 $a David Makinson on classical methods for non-classical problems $h [electronic resource] / $c edited by Sven Ove Hansson.
260 $a Dordrecht : $c 2014. $b Springer Netherlands : $b Imprint: Springer,
300 $a xii, 433 p. : $b ill., digital ; $c 24 cm.
490 1 $a Outstanding contributions to logic, $x 2211-2758 ; $v v.3
600 1 0 $a Makinson, David, $d 1941- $3 985239
650 0 $a Logic. $3 558909
650 0 $a Computer science. $3 573171
650 0 $a Logic, Symbolic and mathematical. $3 527823
650 0 $a Philosophy. $3 559771
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Theoretical Languages. $3 671587
700 1 $a Hansson, Sven Ove. $3 1023253
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Outstanding contributions to logic ; $v 3. $3 985240
856 4 0 $u http://dx.doi.org/10.1007/978-94-007-7759-0
950 $a Humanities, Social Sciences and Law (Springer-11648)

based on 0 review(s)

Multimedia

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login