000			01546naa a2200265 i 4500
001			xx004081585
003			NUKAT
005			20251229104640.0
008			170801s2007 pl a |000 0 eng c
035			_a(OCoLC)1002945633
040			_aBSTOK U/DUN3EW _cBSTOK U/DUN3EW _dBSTOK U/DUN3EWs
100	1		_aFarmer, William M. _9163479
245	1	0	_aChiron : _bA Multi-Paradigm Logic / _cWilliam M. Farmer.
500			_aTytuł. nagł.
504			_aBibliogr. s. 18-19.
650		7	_aMatematyka _xoprogramowanie. _2kaba _98974
650		7	_aAutomatyczne dowodzenie twierdzeń. _2kaba _921050
650		7	_aAksjomatyczna teoria zbiorów. _2kaba _921900
773	0	8	_dBiałystok : University of Białystok, 2007. _kStudies in Logic, Grammar and Rhetoric, _kStudies in Logic, Grammar and Rhetoric _tFrom insight to proof : _z9788374311281 _7nnas _g10 (23) (2007), s. 1-19 _wgg97611288#0 _7nnam _gS. 1-19 _wzz2007832223
773	0		_7nnas _tStudies in Logic, Grammar and Rhetoric _dBiałystok : Sekcja Wydawnicza Filii Uniwersytetu Warszawskiego, 1980- _kZeszyty Naukowe - Uniwersytet Warszawski. Filia w Białymstoku (1976) _kZeszyty Naukowe Filii UW w Białymstoku. Humanistyka. Dział L, Prace z Logiki _g10 (23) (2007), s. 1-19 _x0860-150X _w(NUKAT)gg97611288
773	0		_7nnam _tFrom insight to proof : Festschrift in honour of Andrzej Trybulec _dBiałystok : University of Białystok, 2007 _kStudies in Logic, Grammar and Rhetoric, ISSN 0860-150X; 10 (23) _gS. 1-19 _z9788374311281 _w(NUKAT)zz2007832223
942			_cNW
999			_c149472 _d149472