國立虎尾科技大學 |

登入

回首頁

Towards mathematical philosophy : = ...

Makinson, David.

Towards mathematical philosophy : = papers from the studia logica conference trends in logic IV /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Towards mathematical philosophy :/ David Makinson, Jacek Malinowski, Heinrich Wansing, editors.
其他題名:	papers from the studia logica conference trends in logic IV /
其他作者:	Makinson, David.
出版者:	New York :Springer, : 2008.,
面頁冊數:	p. cm.
標題:	Logic, Symbolic and mathematical - Congresses. -
ISBN:	9781402090837 (hard cover : alk. paper)

Towards mathematical philosophy : = papers from the studia logica conference trends in logic IV /
Towards mathematical philosophy :papers from the studia logica conference trends in logic IV /David Makinson, Jacek Malinowski, Heinrich Wansing, editors. - 1st ed. - New York :Springer,2008. - p. cm. - Trends in logic ;28.

ISBN: 9781402090837 (hard cover : alk. paper)

LCCN: 2008934403Subjects--Topical Terms:

633617
Logic, Symbolic and mathematical
--Congresses.

Towards mathematical philosophy : = papers from the studia logica conference trends in logic IV /
LDR:00828nam a2200205 a 4500 001 609005
005 20080801084634.0
008 090917s2008 nyu 000 0 eng
010 $a 2008934403
020 $a 9781402090837 (hard cover : alk. paper)
040 $a DLC $c DLC
245 0 0 $a Towards mathematical philosophy : $b papers from the studia logica conference trends in logic IV / $c David Makinson, Jacek Malinowski, Heinrich Wansing, editors.
250 $a 1st ed.
260 $a New York : $c 2008. $b Springer,
263 $a 0811
300 $a p. cm.
490 0 $a Trends in logic ; $v 28
650 0 $a Logic, Symbolic and mathematical $x Congresses. $3 633617
650 0 $a Computational complexity $x Congresses. $3 633618
700 1 $a Makinson, David. $3 633616
700 1 $a Malinowski, Jacek. $3 633619
700 1 $a Wansing, Heinrich. $3 633620
906 $a 0 $b ibc $c orignew $d 2 $e epcn $f 20 $g y-gencatlg
925 0 $a acquire $b 2 shelf copies $x policy default
955 $a pc17 2008-08-01
963 $a Edita Barauskiene; phone: (370) 5 2729502; fax: (370) 5 2729501; email: books-spr@vtex.lt; bc: Veronique.VanDenDriessche@springer.com