Cargando…

A study in the philosophy of science /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Beth, Evert Willem
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Dodrecht : Elsevier Science, 1959.
Colección:Studies in logic and the foundations of mathematics ; v. 25.
Temas:
Acceso en línea:Texto completo
Texto completo
Texto completo

MARC

LEADER 00000cam a2200000 a 4500
001 SCIDIR_ocn428097409
003 OCoLC
005 20231117032818.0
006 m o d
007 cr cn|||||||||
008 090728s1959 ne ob 001 0 eng d
040 |a OPELS  |b eng  |e pn  |c OPELS  |d OCLCQ  |d OPELS  |d OCLCF  |d OCLCQ  |d DEBSZ  |d LEAUB  |d S2H  |d OCLCO  |d OCLCQ  |d OCLCO 
020 |a 9780444533906 
020 |a 0444533907 
035 |a (OCoLC)428097409 
050 4 |a Q175  |b .S78 1959 
082 0 4 |a 501  |2 22 
245 0 2 |a A study in the philosophy of science /  |c edited by Evert W. Beth. 
260 |a Dodrecht :  |b Elsevier Science,  |c 1959. 
300 |a 1 online resource (xxviii, 731 pages) 
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 Studies in Logic and the Foundations of Mathematics ;  |v v. 25 
505 0 |a Prehistory of research into foundations -- Aristotle's theory of science -- Historical development of symbolic logic and formalised axiomatics -- Introduction -- Extension of the system of natural numbers -- Theory of natural numbers -- Axiomatics of fundamental theories of modern mathematics -- Introduction -- Survey of symbolic logic -- Finitary theory of proof -- Syntax -- Semantics -- Logicism -- Cantorism -- Intuitionism -- Nominalism -- Paradoxes of logic and set theory and their solution -- Completeness theorems for logical systems -- Calculus of systems and models -- Further applications of topological methods -- Theory of recursive functions and the negative results concerning the decision problem -- Metamathematics, philosophy of mathematics and general philosophy. 
504 |a Includes bibliographical references and indexes. 
588 0 |a Print version record. 
650 0 |a Science  |x Philosophy. 
650 7 |a Science  |x Philosophy  |2 fast  |0 (OCoLC)fst01108336 
700 1 |a Beth, Evert Willem. 
830 0 |a Studies in logic and the foundations of mathematics ;  |v v. 25. 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/book/9780444533906  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/25  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=25  |z Texto completo