{"id":"W2260577857","doi":"10.2178/bsl/1203350881","title":"Shawn Hedman. A first course in logic: an introduction to model theory, proof theory, computability, and complexity. Oxford Texts in Logic 1. Oxford University Press, 2004, xx + 431 pp.","year":2007,"lang":"en","type":"article","venue":"Bulletin of Symbolic Logic","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Proof theory; Model theory; Computability; Mathematical logic; Computability theory; Mathematics; Calculus (dental); Computer science; Cognitive science; Discrete mathematics; Algorithm; Psychology; Mathematical proof","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001263103,0.001873528,0.001214111,0.003677111,0.001209135,0.001818507,0.001439448,0.002199645,0.03844931],"category_scores_gemma":[0.002202863,0.001286422,0.001050674,0.002954843,0.003116238,0.007490923,0.001324718,0.005197811,0.0200856],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002739044,"about_ca_system_score_gemma":0.001722654,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004419066,"about_ca_topic_score_gemma":0.009357098,"domain_scores_codex":[0.9992384,0.0001828848,0.00006713957,0.0001255841,0.0003246334,0.00006138634],"domain_scores_gemma":[0.9976448,0.001533403,0.0001035529,0.0000833805,0.0004350515,0.0001997506],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003899772,0.00005374952,0.000163434,0.0005424775,0.00002145944,0.00009425843,0.0003680276,0.0003254994,0.0002629402,0.05203481,0.8323143,0.1137801],"study_design_scores_gemma":[0.00001604131,0.00002995145,0.0004929649,0.0005696656,0.00001322627,0.0002558383,0.00009576569,0.0002624965,0.0002652242,0.1165121,0.8814613,0.00002549317],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"review","genre_gemma":"other","genre_scores_codex":[0.0007425799,0.785653,0.02201718,0.07443621,0.01337479,0.00008100512,0.001010897,0.0004638901,0.1022203],"genre_scores_gemma":[0.02495519,0.5998796,0.04211337,0.03207649,0.0159937,0.0002374065,0.001661429,0.0008829088,0.2821999],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.03844931,"threshold_uncertainty_score":0.1286258,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02448580694802018,"score_gpt":0.2523356053962202,"score_spread":0.2278497984482001,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}