Solvable cases of the decision problem.

Provability, Computability and Reflection.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Ackermann, W. (Wilhelm), 1896-1962
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam, North-Holland Pub. Co., 1954.
Colección:Studies in logic and the foundations of mathematics.
Temas:
Logic, Symbolic and mathematical.
Decision making.
Decision Making
Logique symbolique et math�ematique.
Prise de d�ecision.
decision making.
Decision making
Logic, Symbolic and mathematical
Acceso en línea:Texto completo
Texto completo
Texto completo

MARC

LEADER 00000cam a2200000 4500
001 SCIDIR_ocn297999524
003 OCoLC
005 20231117032822.0
006 m o d
007 cr unu---uuaua
008 090109s1954 ne ob 000 0 eng d
040 |a OCLCE  |b eng  |e pn  |c OCLCE  |d OCLCQ  |d OPELS  |d OCLCQ  |d OCLCO  |d OPELS  |d OCLCF  |d OCLCQ  |d DEBSZ  |d OCLCA  |d OCLCQ  |d LEAUB  |d VLY  |d LUN  |d S2H  |d OCLCO  |d OCLCQ  |d OCLCO  |d COM  |d OCL  |d OCLCQ  |d OCLCO 
019 |a 428099662  |a 560609910  |a 994745121  |a 1086418910  |a 1162079328 
020 |a 9780444533807 
020 |a 044453380X 
020 |a 1283526263 
020 |a 9781283526265 
020 |a 9786613838711 
020 |a 6613838713 
020 |a 0080957358 
020 |a 9780080957357 
035 |a (OCoLC)297999524  |z (OCoLC)428099662  |z (OCoLC)560609910  |z (OCoLC)994745121  |z (OCoLC)1086418910  |z (OCoLC)1162079328 
042 |a dlr 
050 4 |a BC135  |b .A3 
082 0 4 |a 164 
084 |a 31.10  |2 bcl 
100 1 |a Ackermann, W.  |q (Wilhelm),  |d 1896-1962. 
245 1 0 |a Solvable cases of the decision problem. 
260 |a Amsterdam,  |b North-Holland Pub. Co.,  |c 1954. 
300 |a 1 online resource (114 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 
504 |a Includes bibliographical references. 
588 0 |a Print version record. 
505 0 |a Validity and statisfiability in finite domains -- Decision proglem -- Solution of the decision problem for well-formed formulas only monadic predicate variables -- Some general theorems about the validity of formulas of the predicate calculus of first order including equality -- Solution of the decision problem for Wffs with special prefixes -- Further classes of prefixes for which the decision problem can be solved -- General remarks about further investigations -- Decision problem for Wffs with functional variables. 
506 |3 Use copy  |f Restrictions unspecified  |2 star  |5 MiAaHDL 
533 |a Electronic reproduction.  |b [Place of publication not identified] :  |c HathiTrust Digital Library,  |d 2010.  |5 MiAaHDL 
538 |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.  |u http://purl.oclc.org/DLF/benchrepro0212  |5 MiAaHDL 
583 1 |a digitized  |c 2010  |h HathiTrust Digital Library  |l committed to preserve  |2 pda  |5 MiAaHDL 
520 |a Provability, Computability and Reflection. 
546 |a English. 
650 0 |a Logic, Symbolic and mathematical. 
650 0 |a Decision making. 
650 2 |a Decision Making  |0 (DNLM)D003657 
650 6 |a Logique symbolique et math�ematique.  |0 (CaQQLa)201-0001166 
650 6 |a Prise de d�ecision.  |0 (CaQQLa)201-0007575 
650 7 |a decision making.  |2 aat  |0 (CStmoGRI)aat300054615 
650 7 |a Decision making  |2 fast  |0 (OCoLC)fst00889035 
650 7 |a Logic, Symbolic and mathematical  |2 fast  |0 (OCoLC)fst01002068 
776 0 8 |i Print version:  |a Ackermann, W. (Wilhelm), 1896-  |t Solvable cases of the decision problem.  |d Amsterdam, North-Holland Pub. Co., 1954  |w (DLC) 55001655  |w (OCoLC)373064 
830 0 |a Studies in logic and the foundations of mathematics. 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/book/9780444533807  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/bookseries/0049237X/15  |z Texto completo 
856 4 0 |u https://sciencedirect.uam.elogim.com/science/publication?issn=0049237X&volume=15  |z Texto completo 

Ejemplares similares