Verfügbarkeit: Logic with trees :

Logic with trees :: an introduction to symbolic logic /

Logic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. It presents the formal material with clarity, preferring.

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Howson, Colin
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	London ; New York : Routledge, 1997.
Schlagworte:	Logic, Symbolic and mathematical. Logique symbolique et mathématique. PHILOSOPHY > Logic. Logic, Symbolic and mathematical
Online-Zugang:	Volltext
Zusammenfassung:	Logic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. It presents the formal material with clarity, preferring.
Beschreibung:	1 online resource (xiii, 197 pages) : illustrations
Bibliographie:	Includes bibliographical references (pages 189-190) and indexes.
ISBN:	0203976738 9780203976739 9780415133425 0415133424 9780415133418 0415133416 6610226504 9786610226504 1134785518 9781134785513 1280226501 9781280226502

Internformat

MARC


LEADER	00000cam a2200000 a 4500
001	ZDB-4-EBA-ocn191935978
003	OCoLC
005	20241004212047.0
006	m o d
007	cr cn\|\|\|\|\|\|\|\|\|
008	960305s1997 enka ob 001 0 eng d
040			\|a COO \|b eng \|e pn \|c COO \|d CO3 \|d OCLCQ \|d N$T \|d YDXCP \|d AUD \|d OCLCQ \|d DKDLA \|d ADU \|d E7B \|d QE2 \|d IDEBK \|d OCLCQ \|d MERUC \|d OCLCO \|d OCLCQ \|d OCLCF \|d OCLCQ \|d TYFRS \|d OCLCQ \|d EUX \|d CN4UL \|d OCLCQ \|d AZK \|d LOA \|d JBG \|d COCUF \|d AGLDB \|d MOR \|d PIFBR \|d OTZ \|d OCLCQ \|d U3W \|d OCLCQ \|d CN8ML \|d STF \|d WRM \|d OCLCQ \|d VTS \|d CEF \|d NRAMU \|d VT2 \|d AU@ \|d OCLCQ \|d LHU \|d FVL \|d WYU \|d UWO \|d TKN \|d OCLCQ \|d W2U \|d CNTRU \|d SFB \|d HS0 \|d BOL \|d OH# \|d VLY \|d CN6UV \|d YDX \|d INARC \|d OCLCO \|d OCLCQ \|d BRX \|d OCLCQ \|d OCLCO \|d OCLCL
016	7		\|a 000012240685 \|2 AU
019			\|a 62118275 \|a 230766242 \|a 455982898 \|a 474275611 \|a 614649405 \|a 624399779 \|a 646709574 \|a 646791181 \|a 756871448 \|a 888525647 \|a 961582240 \|a 962680205 \|a 966374694 \|a 968298828 \|a 988476286 \|a 992067971 \|a 994688152 \|a 1033887591 \|a 1037710156 \|a 1038618664 \|a 1044199689 \|a 1044356372 \|a 1045489452 \|a 1048180441 \|a 1055332069 \|a 1056317933 \|a 1056433735 \|a 1057950280 \|a 1059532426 \|a 1060838020 \|a 1062933004 \|a 1081252426 \|a 1086421628 \|a 1107364408 \|a 1109382701 \|a 1114463049 \|a 1125446851 \|a 1125698874 \|a 1136255957 \|a 1136293660 \|a 1153049474 \|a 1162192331 \|a 1203328228 \|a 1241773165 \|a 1285645064 \|a 1286904825 \|a 1290062102 \|a 1300589443
020			\|a 0203976738 \|q (electronic bk.)
020			\|a 9780203976739 \|q (electronic bk.)
020			\|a 9780415133425
020			\|a 0415133424
020			\|a 9780415133418 \|q (hard)
020			\|a 0415133416 \|q (hard)
020			\|a 6610226504
020			\|a 9786610226504
020			\|a 1134785518
020			\|a 9781134785513
020			\|a 1280226501
020			\|a 9781280226502
020			\|z 0415133424
020			\|z 0415133416 \|q (hard)
024	7		\|a 10.4324/9780203976739 \|2 doi
035			\|a (OCoLC)191935978 \|z (OCoLC)62118275 \|z (OCoLC)230766242 \|z (OCoLC)455982898 \|z (OCoLC)474275611 \|z (OCoLC)614649405 \|z (OCoLC)624399779 \|z (OCoLC)646709574 \|z (OCoLC)646791181 \|z (OCoLC)756871448 \|z (OCoLC)888525647 \|z (OCoLC)961582240 \|z (OCoLC)962680205 \|z (OCoLC)966374694 \|z (OCoLC)968298828 \|z (OCoLC)988476286 \|z (OCoLC)992067971 \|z (OCoLC)994688152 \|z (OCoLC)1033887591 \|z (OCoLC)1037710156 \|z (OCoLC)1038618664 \|z (OCoLC)1044199689 \|z (OCoLC)1044356372 \|z (OCoLC)1045489452 \|z (OCoLC)1048180441 \|z (OCoLC)1055332069 \|z (OCoLC)1056317933 \|z (OCoLC)1056433735 \|z (OCoLC)1057950280 \|z (OCoLC)1059532426 \|z (OCoLC)1060838020 \|z (OCoLC)1062933004 \|z (OCoLC)1081252426 \|z (OCoLC)1086421628 \|z (OCoLC)1107364408 \|z (OCoLC)1109382701 \|z (OCoLC)1114463049 \|z (OCoLC)1125446851 \|z (OCoLC)1125698874 \|z (OCoLC)1136255957 \|z (OCoLC)1136293660 \|z (OCoLC)1153049474 \|z (OCoLC)1162192331 \|z (OCoLC)1203328228 \|z (OCoLC)1241773165 \|z (OCoLC)1285645064 \|z (OCoLC)1286904825 \|z (OCoLC)1290062102 \|z (OCoLC)1300589443
050		4	\|a BC135 \|b .H68 1997eb
055	1	3	\|a BC135 \|b .H68 1997eb
072		7	\|a PHI \|x 011000 \|2 bisacsh
082	7		\|a 160 \|2 20
049			\|a MAIN
100	1		\|a Howson, Colin. \|0 http://id.loc.gov/authorities/names/n88025988
245	1	0	\|a Logic with trees : \|b an introduction to symbolic logic / \|c Colin Howson.
264		1	\|a London ; \|a New York : \|b Routledge, \|c 1997.
300			\|a 1 online resource (xiii, 197 pages) : \|b illustrations
336			\|a text \|b txt \|2 rdacontent
337			\|a computer \|b c \|2 rdamedia
338			\|a online resource \|b cr \|2 rdacarrier
340			\|g polychrome. \|2 rdacc \|0 http://rdaregistry.info/termList/RDAColourContent/1003
347			\|a data file
504			\|a Includes bibliographical references (pages 189-190) and indexes.
588	0		\|a Print version record.
505	0		\|a Book Cover; Half-Title; Title; Copyright; Dedication; Contents; Acknowledgments; Introduction; 1 The basics; 2 Truth trees; 3 Propositional languages; 4 Soundness and completeness; 5 Introduction; 6 First-order languages: syntax and two more tree rules; 7 First-order languages: semantics; 8 Soundness and completeness; 9 Identity; 10 Alternative deductive systems for first-order logic; 11 First-order theories; 12 Beyond the fringe; Notation; Answers to selected exercises; References; Name index; Subject index.
520			\|a Logic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. It presents the formal material with clarity, preferring.
546			\|a English.
650		0	\|a Logic, Symbolic and mathematical. \|0 http://id.loc.gov/authorities/subjects/sh85078115
650		6	\|a Logique symbolique et mathématique.
650		7	\|a PHILOSOPHY \|x Logic. \|2 bisacsh
650		7	\|a Logic, Symbolic and mathematical \|2 fast
758			\|i has work: \|a Logic with trees (Text) \|1 https://id.oclc.org/worldcat/entity/E39PCGyyhybJf86b4jY8RfTgDq \|4 https://id.oclc.org/worldcat/ontology/hasWork
776	0	8	\|i Print version: \|a Howson, Colin. \|t Logic with trees. \|d London ; New York : Routledge, 1997 \|w (DLC) 96007315
856	4	0	\|l FWS01 \|p ZDB-4-EBA \|q FWS_PDA_EBA \|u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=141170 \|3 Volltext
936			\|a BATCHLOAD
938			\|a ebrary \|b EBRY \|n ebr10017151
938			\|a EBSCOhost \|b EBSC \|n 141170
938			\|a ProQuest MyiLibrary Digital eBook Collection \|b IDEB \|n 22650
938			\|a Internet Archive \|b INAR \|n logicwithtreesin0000hows
938			\|a Taylor & Francis \|b TAFR \|n 9780203976739
938			\|a YBP Library Services \|b YANK \|n 2288924
938			\|a YBP Library Services \|b YANK \|n 301602789
994			\|a 92 \|b GEBAY
912			\|a ZDB-4-EBA
049			\|a DE-863

Datensatz im Suchindex

DE-BY-FWS_katkey	ZDB-4-EBA-ocn191935978
_version_	1816881661773611008
adam_text
any_adam_object
author	Howson, Colin
author_GND	http://id.loc.gov/authorities/names/n88025988
author_facet	Howson, Colin
author_role
author_sort	Howson, Colin
author_variant	c h ch
building	Verbundindex
bvnumber	localFWS
callnumber-first	B - Philosophy, Psychology, Religion
callnumber-label	BC135
callnumber-raw	BC135 .H68 1997eb
callnumber-search	BC135 .H68 1997eb
callnumber-sort	BC 3135 H68 41997EB
callnumber-subject	BC - Logic
collection	ZDB-4-EBA
contents	Book Cover; Half-Title; Title; Copyright; Dedication; Contents; Acknowledgments; Introduction; 1 The basics; 2 Truth trees; 3 Propositional languages; 4 Soundness and completeness; 5 Introduction; 6 First-order languages: syntax and two more tree rules; 7 First-order languages: semantics; 8 Soundness and completeness; 9 Identity; 10 Alternative deductive systems for first-order logic; 11 First-order theories; 12 Beyond the fringe; Notation; Answers to selected exercises; References; Name index; Subject index.
ctrlnum	(OCoLC)191935978
dewey-full	160
dewey-hundreds	100 - Philosophy & psychology
dewey-ones	160 - Philosophical logic
dewey-raw	160
dewey-search	160
dewey-sort	3160
dewey-tens	160 - Philosophical logic
discipline	Philosophie
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05364cam a2200745 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn191935978</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn\|\|\|\|\|\|\|\|\|</controlfield><controlfield tag="008">960305s1997 enka ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">COO</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">COO</subfield><subfield code="d">CO3</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">AUD</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKDLA</subfield><subfield code="d">ADU</subfield><subfield code="d">E7B</subfield><subfield code="d">QE2</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">TYFRS</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">EUX</subfield><subfield code="d">CN4UL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">LOA</subfield><subfield code="d">JBG</subfield><subfield code="d">COCUF</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFBR</subfield><subfield code="d">OTZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">CN8ML</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">CEF</subfield><subfield code="d">NRAMU</subfield><subfield code="d">VT2</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">LHU</subfield><subfield code="d">FVL</subfield><subfield code="d">WYU</subfield><subfield code="d">UWO</subfield><subfield code="d">TKN</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">W2U</subfield><subfield code="d">CNTRU</subfield><subfield code="d">SFB</subfield><subfield code="d">HS0</subfield><subfield code="d">BOL</subfield><subfield code="d">OH#</subfield><subfield code="d">VLY</subfield><subfield code="d">CN6UV</subfield><subfield code="d">YDX</subfield><subfield code="d">INARC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">BRX</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">000012240685</subfield><subfield code="2">AU</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">62118275</subfield><subfield code="a">230766242</subfield><subfield code="a">455982898</subfield><subfield code="a">474275611</subfield><subfield code="a">614649405</subfield><subfield code="a">624399779</subfield><subfield code="a">646709574</subfield><subfield code="a">646791181</subfield><subfield code="a">756871448</subfield><subfield code="a">888525647</subfield><subfield code="a">961582240</subfield><subfield code="a">962680205</subfield><subfield code="a">966374694</subfield><subfield code="a">968298828</subfield><subfield code="a">988476286</subfield><subfield code="a">992067971</subfield><subfield code="a">994688152</subfield><subfield code="a">1033887591</subfield><subfield code="a">1037710156</subfield><subfield code="a">1038618664</subfield><subfield code="a">1044199689</subfield><subfield code="a">1044356372</subfield><subfield code="a">1045489452</subfield><subfield code="a">1048180441</subfield><subfield code="a">1055332069</subfield><subfield code="a">1056317933</subfield><subfield code="a">1056433735</subfield><subfield code="a">1057950280</subfield><subfield code="a">1059532426</subfield><subfield code="a">1060838020</subfield><subfield code="a">1062933004</subfield><subfield code="a">1081252426</subfield><subfield code="a">1086421628</subfield><subfield code="a">1107364408</subfield><subfield code="a">1109382701</subfield><subfield code="a">1114463049</subfield><subfield code="a">1125446851</subfield><subfield code="a">1125698874</subfield><subfield code="a">1136255957</subfield><subfield code="a">1136293660</subfield><subfield code="a">1153049474</subfield><subfield code="a">1162192331</subfield><subfield code="a">1203328228</subfield><subfield code="a">1241773165</subfield><subfield code="a">1285645064</subfield><subfield code="a">1286904825</subfield><subfield code="a">1290062102</subfield><subfield code="a">1300589443</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0203976738</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780203976739</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780415133425</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0415133424</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780415133418</subfield><subfield code="q">(hard)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0415133416</subfield><subfield code="q">(hard)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6610226504</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786610226504</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1134785518</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781134785513</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1280226501</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280226502</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0415133424</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0415133416</subfield><subfield code="q">(hard)</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.4324/9780203976739</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)191935978</subfield><subfield code="z">(OCoLC)62118275</subfield><subfield code="z">(OCoLC)230766242</subfield><subfield code="z">(OCoLC)455982898</subfield><subfield code="z">(OCoLC)474275611</subfield><subfield code="z">(OCoLC)614649405</subfield><subfield code="z">(OCoLC)624399779</subfield><subfield code="z">(OCoLC)646709574</subfield><subfield code="z">(OCoLC)646791181</subfield><subfield code="z">(OCoLC)756871448</subfield><subfield code="z">(OCoLC)888525647</subfield><subfield code="z">(OCoLC)961582240</subfield><subfield code="z">(OCoLC)962680205</subfield><subfield code="z">(OCoLC)966374694</subfield><subfield code="z">(OCoLC)968298828</subfield><subfield code="z">(OCoLC)988476286</subfield><subfield code="z">(OCoLC)992067971</subfield><subfield code="z">(OCoLC)994688152</subfield><subfield code="z">(OCoLC)1033887591</subfield><subfield code="z">(OCoLC)1037710156</subfield><subfield code="z">(OCoLC)1038618664</subfield><subfield code="z">(OCoLC)1044199689</subfield><subfield code="z">(OCoLC)1044356372</subfield><subfield code="z">(OCoLC)1045489452</subfield><subfield code="z">(OCoLC)1048180441</subfield><subfield code="z">(OCoLC)1055332069</subfield><subfield code="z">(OCoLC)1056317933</subfield><subfield code="z">(OCoLC)1056433735</subfield><subfield code="z">(OCoLC)1057950280</subfield><subfield code="z">(OCoLC)1059532426</subfield><subfield code="z">(OCoLC)1060838020</subfield><subfield code="z">(OCoLC)1062933004</subfield><subfield code="z">(OCoLC)1081252426</subfield><subfield code="z">(OCoLC)1086421628</subfield><subfield code="z">(OCoLC)1107364408</subfield><subfield code="z">(OCoLC)1109382701</subfield><subfield code="z">(OCoLC)1114463049</subfield><subfield code="z">(OCoLC)1125446851</subfield><subfield code="z">(OCoLC)1125698874</subfield><subfield code="z">(OCoLC)1136255957</subfield><subfield code="z">(OCoLC)1136293660</subfield><subfield code="z">(OCoLC)1153049474</subfield><subfield code="z">(OCoLC)1162192331</subfield><subfield code="z">(OCoLC)1203328228</subfield><subfield code="z">(OCoLC)1241773165</subfield><subfield code="z">(OCoLC)1285645064</subfield><subfield code="z">(OCoLC)1286904825</subfield><subfield code="z">(OCoLC)1290062102</subfield><subfield code="z">(OCoLC)1300589443</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">BC135</subfield><subfield code="b">.H68 1997eb</subfield></datafield><datafield tag="055" ind1="1" ind2="3"><subfield code="a">BC135</subfield><subfield code="b">.H68 1997eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI</subfield><subfield code="x">011000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">160</subfield><subfield code="2">20</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Howson, Colin.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n88025988</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic with trees :</subfield><subfield code="b">an introduction to symbolic logic /</subfield><subfield code="c">Colin Howson.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Routledge,</subfield><subfield code="c">1997.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xiii, 197 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="340" ind1=" " ind2=" "><subfield code="g">polychrome.</subfield><subfield code="2">rdacc</subfield><subfield code="0">http://rdaregistry.info/termList/RDAColourContent/1003</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">data file</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 189-190) and indexes.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Book Cover; Half-Title; Title; Copyright; Dedication; Contents; Acknowledgments; Introduction; 1 The basics; 2 Truth trees; 3 Propositional languages; 4 Soundness and completeness; 5 Introduction; 6 First-order languages: syntax and two more tree rules; 7 First-order languages: semantics; 8 Soundness and completeness; 9 Identity; 10 Alternative deductive systems for first-order logic; 11 First-order theories; 12 Beyond the fringe; Notation; Answers to selected exercises; References; Name index; Subject index.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Logic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. It presents the formal material with clarity, preferring.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85078115</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique symbolique et mathématique.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY</subfield><subfield code="x">Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Logic with trees (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGyyhybJf86b4jY8RfTgDq</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Howson, Colin.</subfield><subfield code="t">Logic with trees.</subfield><subfield code="d">London ; New York : Routledge, 1997</subfield><subfield code="w">(DLC) 96007315</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=141170</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="936" ind1=" " ind2=" "><subfield code="a">BATCHLOAD</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10017151</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">141170</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">22650</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Internet Archive</subfield><subfield code="b">INAR</subfield><subfield code="n">logicwithtreesin0000hows</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Taylor & Francis</subfield><subfield code="b">TAFR</subfield><subfield code="n">9780203976739</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2288924</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">301602789</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection>
id	ZDB-4-EBA-ocn191935978
illustrated	Illustrated
indexdate	2024-11-27T13:16:16Z
institution	BVB
isbn	0203976738 9780203976739 9780415133425 0415133424 9780415133418 0415133416 6610226504 9786610226504 1134785518 9781134785513 1280226501 9781280226502
language	English
oclc_num	191935978
open_access_boolean
owner	MAIN DE-863 DE-BY-FWS
owner_facet	MAIN DE-863 DE-BY-FWS
physical	1 online resource (xiii, 197 pages) : illustrations
psigel	ZDB-4-EBA
publishDate	1997
publishDateSearch	1997
publishDateSort	1997
publisher	Routledge,
record_format	marc
spelling	Howson, Colin. http://id.loc.gov/authorities/names/n88025988 Logic with trees : an introduction to symbolic logic / Colin Howson. London ; New York : Routledge, 1997. 1 online resource (xiii, 197 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier polychrome. rdacc http://rdaregistry.info/termList/RDAColourContent/1003 data file Includes bibliographical references (pages 189-190) and indexes. Print version record. Book Cover; Half-Title; Title; Copyright; Dedication; Contents; Acknowledgments; Introduction; 1 The basics; 2 Truth trees; 3 Propositional languages; 4 Soundness and completeness; 5 Introduction; 6 First-order languages: syntax and two more tree rules; 7 First-order languages: semantics; 8 Soundness and completeness; 9 Identity; 10 Alternative deductive systems for first-order logic; 11 First-order theories; 12 Beyond the fringe; Notation; Answers to selected exercises; References; Name index; Subject index. Logic With Trees is a new and original introduction to modern formal logic. Unlike most texts, it also contains discussions on more philosophical issues such as truth, conditionals and modal logic. It presents the formal material with clarity, preferring. English. Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. PHILOSOPHY Logic. bisacsh Logic, Symbolic and mathematical fast has work: Logic with trees (Text) https://id.oclc.org/worldcat/entity/E39PCGyyhybJf86b4jY8RfTgDq https://id.oclc.org/worldcat/ontology/hasWork Print version: Howson, Colin. Logic with trees. London ; New York : Routledge, 1997 (DLC) 96007315 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=141170 Volltext
spellingShingle	Howson, Colin Logic with trees : an introduction to symbolic logic / Book Cover; Half-Title; Title; Copyright; Dedication; Contents; Acknowledgments; Introduction; 1 The basics; 2 Truth trees; 3 Propositional languages; 4 Soundness and completeness; 5 Introduction; 6 First-order languages: syntax and two more tree rules; 7 First-order languages: semantics; 8 Soundness and completeness; 9 Identity; 10 Alternative deductive systems for first-order logic; 11 First-order theories; 12 Beyond the fringe; Notation; Answers to selected exercises; References; Name index; Subject index. Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. PHILOSOPHY Logic. bisacsh Logic, Symbolic and mathematical fast
subject_GND	http://id.loc.gov/authorities/subjects/sh85078115
title	Logic with trees : an introduction to symbolic logic /
title_auth	Logic with trees : an introduction to symbolic logic /
title_exact_search	Logic with trees : an introduction to symbolic logic /
title_full	Logic with trees : an introduction to symbolic logic / Colin Howson.
title_fullStr	Logic with trees : an introduction to symbolic logic / Colin Howson.
title_full_unstemmed	Logic with trees : an introduction to symbolic logic / Colin Howson.
title_short	Logic with trees :
title_sort	logic with trees an introduction to symbolic logic
title_sub	an introduction to symbolic logic /
topic	Logic, Symbolic and mathematical. http://id.loc.gov/authorities/subjects/sh85078115 Logique symbolique et mathématique. PHILOSOPHY Logic. bisacsh Logic, Symbolic and mathematical fast
topic_facet	Logic, Symbolic and mathematical. Logique symbolique et mathématique. PHILOSOPHY Logic. Logic, Symbolic and mathematical
url	https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=141170
work_keys_str_mv	AT howsoncolin logicwithtreesanintroductiontosymboliclogic

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge